Assertion list
obligation (aspect of contract ) → AtLocation

Results from Ascent++: 2
obligationAtLocation writing 0.41
obligationAtLocation effect 0.41