Assertion list
sister ship (subgroup of ship ) → HasProperty
Results from Ascent++: 1
sister ship → HasProperty → fast 0.16