Assertion list
port (aspect of valve ) → ReceivesAction

Results from Ascent++: 19
portReceivesAction connected 0.73
portReceivesAction closed 0.68
portReceivesAction blocked 0.62
portReceivesAction shown in fig 0.44
portReceivesAction connected to different supply g… 0.41
portReceivesAction aligned 0.36
portReceivesAction formed in the body 0.36
portReceivesAction connected to an outlet tube 0.33
portReceivesAction advanced over the balloon cathe… 0.25
portReceivesAction connected through independent v… 0.25
portReceivesAction coupled to main valve chamber 0.25
portReceivesAction exposed 0.25
portReceivesAction formed in said diaphragm 0.25
portReceivesAction isolated 0.25
portReceivesAction located on the container 0.25
portReceivesAction provided for releasable connect… 0.25
portReceivesAction shown 0.25
portReceivesAction sized 0.25
portReceivesAction used as the filling and emptyin… 0.25