Assertion: program | /r/CapableOf | produce observed result
Facets:
Source sentences:
text: Thus, the program profile tells us that a program is likely to produce the observed result if implemented in exactly the same way.