Assertion list
absolute truth (subgroup of truth ) → HasProperty
Results from Ascent++: 2
absolute truth → HasProperty → true 0.68
absolute truth → HasProperty → unchanging 0.25