Assertion: logic's property | /r/HasProperty | satisfied
Facets:
Source sentences:
text: and the properties of classical implication are satisfied: L ( s ⊗ s ) = L ( n ⊗ s ) = L ( n ⊗ n ) = s