Assertion list
cavity (primary) → AtLocation
Results from Ascent++: 4
cavity → AtLocation → fluid communication 0.36
cavity → AtLocation → proximal end 0.35
cavity → AtLocation → rio grande 0.25
cavity → AtLocation → the tank 0.16