Assertion list
district judge (subgroup of judge ) → HasProperty
Results from Ascent++: 3
district judge → HasProperty → clear 0.42
district judge → HasProperty → wrong 0.37
district judge → HasProperty → free 0.25