Assertion list
gas tank (primary) → HasA
Results from Ascent++: 2
gas tank → HasA → flammable propane 0.45
gas tank → HasA → lockable gas cap 0.25