Assertion list
additive (aspect of motor oil ) → HasProperty
Results from Ascent++: 1
additive → HasProperty → sacrificial 0.16