Assertion list
logical truth (subgroup of truth ) → HasProperty

Results from Ascent++: 1
logical truthHasProperty true 0.68