Assertion list
reasonable doubt (subgroup of doubt ) → IsA
Results from Ascent++: 1
reasonable doubt → IsA → actual and substantial doubt 0.50