A man and a boy go hiking through the forest.
The woman and her daughter were hiking through the forest.
Man is different from woman, boy and daughter are different genders.
exists e1 p1 x1 x2 x3 x4.(n_forest(x4) & exists e2.(through(e2,x4) & Actor(e2,x1) & v_hike(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_go(e1) & subset_of(x3,x1) & n_boy(x3) & subset_of(x2,x1) & n_man(x2))
exists e1 x1 x2 x3 x4.(n_forest(x4) & n_daughter(x3) & of(x3,x2) & n_female(x2) & n_woman(x2) & through(e1,x4) & Actor(e1,x1) & v_hike(e1) & subset_of(x3,x1) & subset_of(x2,x1))