Assertion list
relative truth (subgroup of truth ) → IsA
Results from Ascent++: 1
relative truth → IsA → god 0.59