The boy is carrying the other boy.
A boy is being carried.
Carrying the other boy is a rephrasing of boy is being carried.
exists e1 x1 x2.(-(x2 = x1) & n_boy(x1) & n_boy(x1) & n_boy(x2) & Theme(e1,x2) & Actor(e1,x1) & v_carry(e1))
exists e1 x1.(Theme(e1,x1) & v_carry(e1) & n_boy(x1))