Assertion: argument | /r/CapableOf | represent the proposition
Facets:
value: as entailing the conclusion
type: OTHER
Source sentences:
text: The argument represents the proposition <all cats are animals> and the proposition <all animals are things> as jointly entailing the conclusion <all cats are things>.
text: This argument represents the proposition <all cats are animals> and the proposition <all dogs are animals> as jointly entailing the conclusion <all cats are