Assertion list
report (aspect of treasurer ) → IsA
Results from Ascent++: 1
report → IsA → the report of the inspectors 0.35