Assertion list
contact (aspect of relay ) → CapableOf
Results from Ascent++: 4
contact → CapableOf → remain closed 0.46
contact → CapableOf → complete the circuit 0.43
contact → CapableOf → connect line 0.25
contact → CapableOf → remain open 0.13