There are three children carrying tires with one adult standing still and another adult walking away.
The children are carrying tires for bikes.
Not all tires can be used for bikes.
exists p1 x1 e1 e2 s1 s2 x2 x3 x4 x5 x6 x7 x8 x9.((x1 = x2) & subset_of(x8,x2) & a_away(s2) & Manner(e2,s2) & Actor(e2,x9) & v_walk(e2) & (x8 = x9) & n_adult(x8) & -(x8 = x7) & n_adult(x7) & n_adult(x7) & subset_of(x3,x2) & a_still(s1) & Manner(e1,s1) & Theme(e1,x5) & Actor(e1,x4) & v_carry(e1) & with(x5,x6) & n_standing(x6) & of(x6,x7) & card_eq_1(x6) & n_tire(x5) & (x3 = x4) & n_child(x3) & card_eq_3(x3))
exists e1 x1 x2 x3.(n_child(x1) & Theme(e1,x2) & Actor(e1,x1) & v_carry(e1) & for(x2,x3) & n_bike(x3) & n_tire(x2))