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_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_nim2(R_0397_0004__APPEARED,R_0397_0001__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))