Assertion list
moral truth (subgroup of truth ) → HasProperty

Results from Ascent++: 1
moral truthHasProperty relative 0.68