Assertion list
tip (aspect of soldering iron ) → HasProperty

Results from Ascent++: 1
tipHasProperty replaceable 0.68