Assertion list
fad (primary) → IsA
Results from Ascent++: 1
fad → IsA → fashion 0.25