Assertion list
body (aspect of jaguar ) → MadeOf
Results from Ascent++: 1
body → MadeOf → magnesium alloy 0.68