Member predicate Locations::Location::startsBefore

Holds if this location starts before location that.

predicate startsBefore(Location that)