Assertion list
wheel (aspect of tricycle ) → MadeOf
Results from Ascent++: 1
wheel → MadeOf → rubber 0.16