Assertion: tactic | /r/CapableOf | work on the goal formula
Facets:
value: by default
type: MANNER
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.