Assertion list
fact (aspect of affidavit ) → HasA
Results from Ascent++: 1
fact → HasA → a or recklessly false statement 0.25