Assertion: logic's semantic | /r/Desires | function
Facets:
Source sentences:
text: Preferential semantics relies on a function S taking a set K of models into a subset S(K) of K.