Assertion: apply tactic | /r/SimilarTo | some hypothesis in the context
Facets:
value: exactly
type: DEGREE
value: in the context
type: LOCATION
Source sentences:
text: The apply Tactic We often encounter situations where the goal to be proved is exactly the same as some hypothesis in the context or