Assertion list
objective truth (subgroup of truth ) → HasProperty

Results from Ascent++: 1
objective truthHasProperty attainable 0.24