Assertion list for term "first cavity portion".

Results from Ascent++: 1
cavity HasAfirst cavity portion 0.25