const double T = 0.1;
P=? [ true U[0,T] (deg_fgfr1=1|deg_fgfr2=1|deg_fgfr3=1|deg_fgfr4=1) ]