Assertion list
hull (aspect of ship ) → AtLocation
Results from Ascent++: 1
hull → AtLocation → one piece 0.46