Assertion list
objective truth (subgroup of truth ) → CapableOf

Results from Ascent++: 1
objective truthCapableOf exist 0.25