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