Assertion list
tip (aspect of soldering iron ) → ReceivesAction
Results from Ascent++: 2
tip → ReceivesAction → replaced 0.35
tip → ReceivesAction → heated 0.25