Assertion: model | /r/HasProperty | nonstandard
Facets:
Source sentences:
text: Thus satisfying ~G is a sufficient condition for a model to be nonstandard.