Assertion list
payment (aspect of mortgage ) → AtLocation
Results from Ascent++: 1
payment → AtLocation → arrear 0.46