Assertion list
total debt (subgroup of debt ) → HasProperty

Results from Ascent++: 1
total debtHasProperty higher 0.59