Assertion list
sailing yacht (subgroup of yacht ) → HasA
Results from Ascent++: 1
sailing yacht → HasA → lower expenditure 0.16