const int token;
const double time;
const string place;

P=? [F[time,time] [place = token] ]