Assertion: tactic's goal | /r/HasProperty | reached
Facets:
Source sentences:
text: given (premises, previously proven theorems) and iteratively draws conclusions from them until the goal is reached.
text: Forward reasoning starts from what is(premises, previously proven theorems) and iteratively draws conclusions from them until the goal is reached.