Assertion: logic's semantic | /r/CapableOf | treat atomic formulas
Facets:
value: -standardly
type: MANNER
Source sentences:
text: But that semantics would have to treat atomic formulas non-standardly; it could not, as usual, stipulate that (G) is true just in case the pair \(\langle\)Gollum, Gödel\(\rangle\) is a member of the extension of the predicate