Assertion list
mega yacht (subgroup of yacht ) → HasProperty
Results from Ascent++: 1
mega yacht → HasProperty → smaller 0.25