Assertion list
fata morgana (primary) → IsA
Results from Ascent++: 1
fata morgana → IsA → mirage 0.68