Assertion list
skydiver (primary) → HasA
Results from Ascent++: 2
skydiver → HasA → parachute 0.41
skydiver → HasA → two parachutes 0.38