Assertion list
facing (primary) → ReceivesAction
Results from Ascent++: 4
facing → ReceivesAction → applied 0.63
facing → ReceivesAction → interfaced 0.55
facing → ReceivesAction → folded to the inside 0.25
facing → ReceivesAction → removed 0.25