Assertion: substitution | /r/CapableOf | force the program
Facets:
value: for interpretation
type: PURPOSE
value: to be traversed for substitution
type: PURPOSE
Source sentences:
text: But substitution traverses everything— unvisited branches of conditionals, for instance— and forces the program to be traversed once for substitution and once again for interpretation.