Assertion: logic | /r/HasProperty | written in syllogism
Facets:
value: often
type: TEMPORAL
Source sentences:
text: Logic is often written in syllogisms, which are one type of logical proof.