Assertion list
antifreeze (primary) → AtLocation

Results from Ascent++: 1
antifreezeAtLocation the plumbing system 0.25