(*******************************************************************************
 *                                IMITATOR MODEL
 *
 * Description      : Ask for the valuations minimizing the value of p total when finishing a paper while drinking (at least) 3 coffees.
 * Author           : Étienne André
 ******************************************************************************)

property := #synth EFpmin(loc[researcher] = finished & nb >= 3, pTotal);