Assertion list
fat (aspect of bacon ) → CapableOf
Results from Ascent++: 1
fat → CapableOf → become crispy 0.51