Assertion list
relative truth (subgroup of truth ) → HasProperty

Results from Ascent++: 1
relative truthHasProperty true 0.68