const string p; const double t1; const double t2; P=?[ F[t1,t2] [p >= $v] ]