Assertion list
right (aspect of tenant ) → IsA
Results from Ascent++: 1
right → IsA → interest 0.25