Assertion: deduction | /r/CapableOf | use syllogism
Facets:
value: to ensure correct logic
type: PURPOSE
value: well
type: MANNER
Source sentences:
text: It may well use syllogisms to ensure correct logic.