Assertion list
intellectual virtue (subgroup of virtue ) → AtLocation

Results from Ascent++: 1
intellectual virtueAtLocation reason 0.25