Assertion: logic's semantic | /r/HasProperty | given on pair
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.