A boy sits inside a shopping cart.
The boy is smaller than the shopping cart.
If the boy is smaller than the shopping cart he can sit inside the shopping cart.
exists e1 x1 x2 x3.(inside(e1,x2) & n_cart(x2) & of(x2,x3) & n_shopping(x3) & Actor(e1,x1) & v_sit(e1) & n_boy(x1))
exists s1 x1 x2 x3.(n_cart(x2) & of(x2,x3) & n_shopping(x3) & n_boy(x1) & than(s1,x2) & r_more(s1) & Theme(s1,x1) & a_smaller(s1))