Assertion list
identity (aspect of voter ) → HasProperty
Results from Ascent++: 1
identity → HasProperty → unknown 0.25