Bearded overweight man carrying drink and yawning.
The man has diabetes.
The man is overweight but that doesn't mean that he has diabetes.
exists e2 e1 s1 x1 x2 x3 x4 x5.(a_topic(x1) & Theme(e2,x3) & Actor(e2,x2) & v_carry(e2) & n_yawning(x5) & n_drink(x4) & subset_of(x5,x3) & subset_of(x4,x3) & (x1 = x2) & n_man(x1) & a_overweight(s1) & Theme(s1,x1) & Theme(e1,x1) & v_beard(e1))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_diabetes(x2))