Assertion list
gallon (primary) → HasA

Results from Ascent++: 2
gallonHasA lead 0.20
gallonHasA copper 0.16