Assertion list
necessary truth (subgroup of truth ) → HasProperty

Results from Ascent++: 1
necessary truthHasProperty true 0.68