Assertion: tactic | /r/CapableOf | leave the context
Facets:
Source sentences:
text: By default, most tactics work on the goal formula and leave the context unchanged.
text: By default, most tactics work on the goal formula and leave the context unchanged.