Assertion: inference | /r/CapableOf | compare two programs
Facets:
Source sentences:
text: Inferences compare two programs, both of which output both X and Y .