Assertion list
polyhedron (primary) → CapableOf

Results from Ascent++: 1
polyhedronCapableOf satisfy the constraint 0.25