Assertion: predicate's subject | /r/CapableOf | entail the predicate
Facets:
value: necessarily
type: MANNER
Source sentences:
text: The predication is formal if the subject necessarily entails (or excludes) the predicate; it is material if the entailment is contingent.