Assertion list
right (aspect of prisoner ) → HasA
Results from Ascent++: 2
right → HasA → trial 0.20
right → HasA → child 0.16