Member predicate Locations::Location::contains

Holds if this location contains location that, meaning that it starts before and ends after it.

predicate contains(Location that)