Assertion list
balloon (aspect of catheter ) → AtLocation

Results from Ascent++: 8
balloonAtLocation deflated state 0.51
balloonAtLocation deflated configuration 0.48
balloonAtLocation inflated state 0.46
balloonAtLocation fluid communication 0.44
balloonAtLocation expanded configuration 0.38
balloonAtLocation uninflated state 0.33
balloonAtLocation first inflation state 0.32
balloonAtLocation reduced diameter configuration 0.25