combinations of logical and temporal constraints, e.g., constraints on the distance