Assertion list
dry snorkel (subgroup of snorkel ) → HasA
Results from Ascent++: 1
dry snorkel → HasA → valve 0.25