Assertion list for term "provided with at least one additional loop".
Results from Ascent++: 1
polyhedron → ReceivesAction → provided with at least one additional loop 0.34