Member predicate Location::Location::contains

Does this location contain the given location, that is, does it start before and end after it?

predicate contains(Location that)