Assertion list
true self (subgroup of self ) → IsA
Results from Ascent++: 2
true self → IsA → same thing 0.68
true self → IsA → god 0.16