Assertion list
true virtue (subgroup of virtue ) → HasProperty
Results from Ascent++: 1
true virtue → HasProperty → possible 0.52