(******************************************************************************* * IMITATOR MODEL * * Description : Ask for the valuations for which it is possible to finish an article while drinking at least 2 coffees * Author : Étienne André ******************************************************************************) property := #synth EFtmin(loc[researcher] = finished & nb >= 2);