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