Assertion list
filling station (subgroup of station ) → HasA
Results from Ascent++: 1
filling station → HasA → cryogenic pump 0.25