Assertion list
ice maker (primary) → IsA
Results from Ascent++: 1
ice maker → IsA → device 0.42