Assertion list
coil (aspect of relay ) → HasProperty

Results from Ascent++: 4
coilHasProperty unpowered 0.37
coilHasProperty open 0.28
coilHasProperty good 0.25
coilHasProperty responsive 0.25