397_a_dick_1952
At last the archeologist appeared.
arc(r_0397_0004__appeared, r_0397_0001__At_last, nim2).
arc(r_0397_0004__appeared, r_0397_0002__the_r_0397_0003__archeologist, arg0).
fof(formula,axiom,
? [R_397_4_APPEARED,R_397_2_THE_ARCHEOLOGIST,R_397_1_AT_LAST] :
( the_archeologist(R_397_2_THE_ARCHEOLOGIST)
& at_last(R_397_1_AT_LAST)
& appeared(R_397_4_APPEARED,R_397_2_THE_ARCHEOLOGIST)
& nim2(R_397_4_APPEARED,R_397_1_AT_LAST) ) ).
( (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))