Assertion list
obligation (aspect of tenant ) → AtLocation
Results from Ascent++: 2
obligation → AtLocation → court 0.40
obligation → AtLocation → written lease 0.25