Assertion list
ice machine (primary) → HasA
Results from Ascent++: 1
ice machine → HasA → easy push button controls 0.16