Assertion: justification | /r/HasProperty | interpreted as truth values
Facets:
value: syntactically
type: MANNER
Source sentences:
text: Note that whereas propositions in modular models are interpreted semantically, as truth values, justifications are interpreted syntactically, as sets of formulas.