Assertion: logic's semantic | /r/HasProperty | negative
Facets:
Source sentences:
text: Then if the semantics is negative, \(Pt \rightarrow \rE!t\) is valid.
text: Since the semantics is positive, ‘
text: \bD_w^n\) if the semantics is negative or neutral; if it is positive, \(\bI(P,w) \subseteq