Assertion list
u boat (subgroup of boat ) → HasA
Results from Ascent++: 1
u boat → HasA → total length of 76.76 m 0.41