Assertion list
wheel (aspect of locomotive ) → HasProperty

Results from Ascent++: 2
wheelHasProperty uninsulated 0.68
wheelHasProperty clean 0.41