Assertion list
wheel chock (subgroup of chock ) → ReceivesAction
Results from Ascent++: 1
wheel chock → ReceivesAction → configured to inhibit displacem… 0.68