Assertion list
term (aspect of lease ) → UsedFor
Results from Ascent++: 1
term → UsedFor → liability 0.21