A historian and his friend digging in the mines to look for more fossils for study.
the historian and his friend are digging for fossils to study.
look for more fossils can also be said as digging for fossils
exists e1 p1 s1 x1 x2 x3 x4 x5.(n_mine(x5) & a_topic(s1) & subset_of(x2,s1) & Topic(e1,p1) & exists e2 s2 x6 x7.(for(e2,x6) & for(x6,x7) & n_study(x7) & n_fossil(x6) & a_more(s2) & Theme(s2,x6) & Actor(e2,x3) & v_look(e2)) & in(e1,x5) & Actor(e1,x4) & v_dig(e1) & (x2 = x4) & (x2 = x3) & n_friend(x2) & of(x2,x1) & n_male(x1) & subset_of(x1,s1) & n_historian(x1))
exists e1 p1 x1 x2 x3 x4.(n_friend(x3) & of(x3,x2) & n_male(x2) & n_historian(x2) & for(e1,x4) & Topic(x4,p1) & exists e2 x5.(Theme(e2,x5) & Actor(e2,x4) & v_study(e2) & n_thing(x5)) & n_fossil(x4) & Actor(e1,x1) & v_dig(e1) & subset_of(x3,x1) & subset_of(x2,x1))