Assertion list for term "coated with aluminium".

Results from Ascent++: 1
mild steel ReceivesActioncoated with aluminium 0.25