Assertion: logic's semantic | /r/HasProperty | done
Facets:
value: often
type: TEMPORAL
value: algebraically
type: MANNER
Source sentences:
text: The semantics is not always carried out in relational terms (i.e., with Kripke Frames) but is done often algebraically (see Blackburn et al.