Assertion list
trial lawyer (subgroup of lawyer ) → HasProperty

Results from Ascent++: 1
trial lawyerHasProperty ineffective 0.38