One child is reading to another.
A child teaching another child to read.
Just because one child is reading to another, doesn't mean that the one child is teaching the other child to read.
exists e1 x1 x2.(to(e1,x2) & n_thing(x2) & Actor(e1,x1) & v_read(e1) & n_child(x1) & card_eq_1(x1))
exists p1 x1 x2 x3.(a_topic(x1) & Topic(x1,p1) & exists e1.(Actor(e1,x1) & v_read(e1)) & n_child(x3) & rel(x1,x3) & n_teaching(x1) & of(x1,x2) & n_child(x2))