[nonsporting]

“Grammar police mode off...”

It’s not a grammatical error. Non linguists often use the term over broadly. It’s an error in meaning (semantics).

[Don W]

Leaving a defining word out is not a grammatical error, but a semantic preference?

All-righty, then. Thank you Professor.