Assertion list
new boat (subgroup of boat ) → AtLocation
Results from Ascent++: 2
new boat → AtLocation → the pipeline 0.25
new boat → AtLocation → the water 0.16