Member predicate Location::Location::endsAfter

Does this location end after the given location?

predicate endsAfter(Location that)