Assertion: logic's theorem | /r/HasProperty | necessary
Facets:
value: according to the necessitation rule
type: OTHER
Source sentences:
text: According to the Necessitation Rule, any theorem of logic is necessary.