Assertion: tactic's goal | /r/HasAspect | all the details
Facets:
Source sentences:
text: Goal has all the details.