Assertion list
prepaid expense (subgroup of expense ) → IsA

Results from Ascent++: 2
prepaid expenseIsA asset 0.77
prepaid expenseIsA amount 0.48