Assertion list
new boat (subgroup of boat ) → UsedFor
Results from Ascent++: 1
new boat → UsedFor → a range of missions 0.25