397_a_dick_1952
At last the archeologist appeared.
( (IP-MAT (ADVP-NIM (ADV At_last;{at_last}))
(NP-SBJ (D the;{the})
(N archeologist;{archeologist}))
(VBD;_I_ appeared;{appear})
(PUNC .))
(ID 397_a_dick_1952))
arc(r_0397_0004__appeared,r_0397_0001__At_last,nim).
arc(r_0397_0004__appeared,r_0397_0002__the_r_0397_0003__archeologist,arg0).
fof(formula,axiom,
? [R_0397_0001__AT_LAST,R_0397_0002__THE_R_0397_0003__ARCHEOLOGIST,R_0397_0004__APPEARED] :
( r_0397_0001__At_last(R_0397_0001__AT_LAST)
& r_0397_0002__the_r_0397_0003__archeologist(R_0397_0002__THE_R_0397_0003__ARCHEOLOGIST)
& r_0397_0004__appeared(R_0397_0004__APPEARED)
& has_arg0(R_0397_0004__APPEARED,R_0397_0002__THE_R_0397_0003__ARCHEOLOGIST)
& has_nim(R_0397_0004__APPEARED,R_0397_0001__AT_LAST) ) ).