Assertion: logic | /r/CapableOf | identify difference
Facets:
value: between the ideal program
type: OTHER
value: between its real operation
type: OTHER
Source sentences:
text: Logics identify differences between the ideal program and its real operation