Assertion list
cruise ship (subgroup of ship ) → AtLocation
Results from Ascent++: 2
cruise ship → AtLocation → port 0.70
cruise ship → AtLocation → town 0.55