Assertion list
socket (primary) → IsA
Results from Ascent++: 1
socket → IsA → the receptacle 0.25