Assertion list for term "shown with terminal contact points".
Results from Ascent++: 1
conductor → ReceivesAction → shown with terminal contact points 0.25