Assertion list
spin (primary) → HasA
Results from Ascent++: 5
spin → HasA → direction 0.36
spin → HasA → the 2nd 0.34
spin → HasA → opposite signs 0.25
spin → HasA → same orientation 0.25
spin → HasA → two states 0.25