(******************************************************************************* * IMITATOR MODEL * * Description : Ask whether it is impossible to drink any coffee * Author : Étienne André ******************************************************************************) property := #synth AGnot(loc[researcher] = coffeeing);