Assertion list
polyhedron (primary) → ReceivesAction
Results from Ascent++: 2
polyhedron → ReceivesAction → shown in fig 0.53
polyhedron → ReceivesAction → provided with at least one addi… 0.34