Assertion list
inner envelope (subgroup of envelope ) → IsA

Results from Ascent++: 1
inner envelopeIsA of diverging conical configurat… 0.25