Assertion list
bodywork (primary) → AtLocation
Results from Ascent++: 1
bodywork → AtLocation → good order 0.16