const double time ; const string place; const double lb; const double ub; P=? [F[time,time] (place >= N*lb & place <= N*ub)]