Assertion list for term "leave hollow core".

Results from Ascent++: 1
torus CapableOfleave hollow core 0.51