Assertion: order logic | /r/CapableOf | fail to treat coloredas logical constants
Facets:
value: as logical constants
type: OTHER
Source sentences:
text: First-order logic which fails to treat words like ‘red’ and ‘colored’ as logical constants, one might think, falls short of capturing logical consequence.