Assertion list
high pressure steam (subgroup of steam ) → HasA

Results from Ascent++: 1
high pressure steamHasA a pressure of about 20 0.71