Assertion: logic | /r/CapableOf | organize evidence
Facets:
value: about the program
type: OTHER
Source sentences:
text: Logics organize evidence about the program