Assertion list
wire (primary) → AtLocation
Results from Ascent++: 11
wire → AtLocation → right place 0.60
wire → AtLocation → correct order 0.55
wire → AtLocation → actual device 0.44
wire → AtLocation → physical connections 0.42
wire → AtLocation → communication 0.35
wire → AtLocation → right angles 0.34
wire → AtLocation → +12vdc 0.27
wire → AtLocation → relaxed state 0.27
wire → AtLocation → each hole 0.25
wire → AtLocation → real gadget 0.25
wire → AtLocation → power-off status 0.18