Assertion list
part (aspect of engine ) → AtLocation
Results from Ascent++: 2
part → AtLocation → hand 0.41
part → AtLocation → the box 0.28