Two young girls are riding red tricycles.
There are little girls riding bright red tricycles outside.
two young girls are riding tricycles. therefore there are little girls riding tricycles. They are riding the tricycles outside and they are bright.
exists e1 s1 s2 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_tricycle(x2) & a_red(s2) & Theme(s2,x2) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1 e1 s1 s2 s3 s4 x2 x3 x4.((x1 = x2) & a_outside(s4) & Manner(e1,s4) & Theme(e1,x4) & Actor(e1,x3) & v_ride(e1) & n_tricycle(x4) & a_red(s3) & Theme(s3,x4) & a_bright(s2) & Theme(s2,x4) & (x2 = x3) & n_girl(x2) & a_little(s1) & Theme(s1,x2))