Assertion list
check valve (subgroup of valve ) → AtLocation
Results from Ascent++: 1
check valve → AtLocation → fluid communication 0.32