Assertion list for term "normally-open".
Results from Ascent++: 1
contact → HasProperty → normally-open 0.40