Assertion list
coordinate system (primary) → AtLocation
Results from Ascent++: 2
coordinate system → AtLocation → foot 0.31
coordinate system → AtLocation → the body 0.31