A large group of cyclists pedal down a road lined with trees.
A group of bikers are riding down the mountain road lined with trees
All bikers aren't cyclists and all roads aren't mountain roads.
exists e1 e2 s1 x1 x2 x3 x4 x5.(down(e1,x3) & with(e2,x5) & n_tree(x5) & Theme(e2,x4) & v_line(e2) & (x3 = x4) & n_road(x3) & Actor(e1,x1) & v_pedal(e1) & of(x1,x2) & n_cyclist(x2) & n_group(x1) & a_large(s1) & Theme(s1,x1))
exists e1 e2 x1 x2 x3 x4 x5 x6.(n_road(x3) & of(x3,x4) & n_mountain(x4) & down(e1,x3) & with(e2,x6) & n_tree(x6) & Theme(e2,x5) & v_line(e2) & (x3 = x5) & Actor(e1,x1) & v_ride(e1) & of(x1,x2) & n_biker(x2) & n_group(x1))