Assertion list
load washing machine (subgroup of washing machine ) → CapableOf
Results from Ascent++: 1
load washing machine → CapableOf → consume less water 0.68