Assertion list
right (aspect of prisoner ) → HasA

Results from Ascent++: 2
rightHasA trial 0.20
rightHasA child 0.16