Assertion list
district court judge (subgroup of judge ) → HasProperty

Results from Ascent++: 1
district court judgeHasProperty wrong 0.25