Assertion list
objective truth (subgroup of truth ) → IsA

Results from Ascent++: 1
objective truthIsA truth 0.84