GRM-013 Hard constraint layer: phrase

Countability-compatible quantifier

IF a quantifier conflicts with the noun’s countability, THEN replace the quantifier or recast the noun ELSE retain.

Why the rule exists

Quantifiers encode whether items are counted individually or measured as mass.

Condition

The rule fires when this evaluates true. Paths marked below must be present in the fact base; the engine reports the rest rather than guessing them.

ALL
- noun.countability exists
- quantifier.compatible_with_noun eq false

Facts this rule reads

Fact paths read by GRM-013 and whether the analyser derives them
Path	Source
`noun.countability`	You supply it
`quantifier.compatible_with_noun`	You supply it

Then

replace — target quantifier
flag — target noun

Else

retain — target current_text, No triggering condition is present.

LAKA

Smallest sufficient intervention

Yes

Primary axes

Sources

English Grammar in Use — Raymond Murphy
Self-study explanations and practice for core English grammar.
Practical English Usage — Michael Swan
Advanced grammar and usage reference for learners and teachers.

The raw rule record

Verbatim from 07-core-grammar-rules.json. Also available at /v1/rules/GRM-013.

{
  "id": "GRM-013",
  "name": "Countability-compatible quantifier",
  "domain": "grammar",
  "layer": "phrase",
  "strength": "hard_constraint",
  "human_logic": "IF a quantifier conflicts with the noun’s countability, THEN replace the quantifier or recast the noun ELSE retain.",
  "when": {
    "all": [
      {
        "path": "noun.countability",
        "operator": "exists"
      },
      {
        "path": "quantifier.compatible_with_noun",
        "operator": "eq",
        "value": false
      }
    ]
  },
  "then": [
    {
      "action": "replace",
      "target": "quantifier",
      "choose_by": "noun.countability"
    },
    {
      "action": "flag",
      "target": "noun",
      "message": "Check whether a domain-specific count sense is intended."
    }
  ],
  "else": [
    {
      "action": "retain",
      "target": "current_text",
      "reason": "No triggering condition is present."
    }
  ],
  "unless": [],
  "because": "Quantifiers encode whether items are counted individually or measured as mass.",
  "diagnostics": [],
  "examples": {},
  "source_ids": [
    "BK-004",
    "BK-010"
  ],
  "laka": {
    "smallest_sufficient_intervention": true,
    "primary_axes": [
      "scope",
      "depth",
      "magnitude",
      "reversibility"
    ]
  }
}