// deadline property
Pmin=?[ true U (s=10) ]