Assertion list
hit (primary) → MotivatedByGoal
Results from Ascent++: 1
hit → MotivatedByGoal → henning mankell 0.25