Assertion list
blue led (subgroup of led ) → HasA
Results from Ascent++: 1
blue led → HasA → on/off switch 0.25