The two dogs are interested in the gravel ground surrounded by concrete.
Two dogs are sniffing the gravels surrounded by concrete.
Being interested in does not imply sniffing.
exists e2 e1 x1 x2 x3 x4 x5.(n_ground(x2) & of(x2,x3) & n_gravel(x3) & n_dog(x1) & card_eq_2(x1) & in(e1,x2) & Actor(e2,x5) & n_concrete(x5) & Theme(e2,x4) & v_surround(e2) & (x2 = x4) & Theme(e1,x1) & v_interest(e1))
exists e1 e2 x1 x2 x3 x4.(n_gravel(x2) & Theme(e2,x2) & Actor(e2,x1) & v_sniff(e2) & Actor(e1,x4) & n_concrete(x4) & Theme(e1,x3) & v_surround(e1) & (x2 = x3) & n_dog(x1) & card_eq_2(x1))