Assertion list
return (aspect of taxpayer ) → HasA

Results from Ascent++: 3
returnHasA understatement 0.41
returnHasA sufficient data 0.31
returnHasA statement 0.30