Assertion: tactic | /r/CapableOf | make progress
Facets:
Source sentences:
text: You may already have observed that tactics like, andwill often unfold the definitions of functions automatically when this allows them to make progress.