Assertion: logic's semantic | /r/HasProperty | an element of the model
Facets:
Source sentences:
text: The semantics for formulas are given on pairs \((M,w)\), where \(M\) is a model and \(w\) is an element of the model.