Assertion list
helmet (primary) → AtLocation
Results from Ascent++: 1
helmet → AtLocation → collision 0.25