29_a_saint_exupery_1943
I have seen them intimately, close at hand.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;__ seen;{see})
(NP-OB1;{PERSONS} (PRO them;{they}))
(ADVP-NIM (ADV intimately;{intimately}))
(PUNC ,)
(ADJP-NIM (ADJ close;{close})
(PP (P-ROLE at;{at})
(NP (N hand;{hand})))))
(PUNC .))
(ID 29_a_saint_exupery_1943))
arc(r_0029_0002__have,r_0029_0003__seen,scope).
arc(r_0029_0003__seen,r_0029_0001__I,arg0).
arc(r_0029_0003__seen,r_0029_0004__them,arg1).
arc(r_0029_0003__seen,r_0029_0005__intimately,nim).
arc(r_0029_0003__seen,r_0029_0007__close,nim).
arc(r_0029_0007__close,r_0029_0009__hand,r_0029_0008__at).
fof(formula,axiom,
? [R_0029_0001__I,R_0029_0004__THEM,R_0029_0005__INTIMATELY,R_0029_0009__HAND,R_0029_0007__CLOSE,R_0029_0002__HAVE_R_0029_0003__SEEN] :
( r_0029_0001__I(R_0029_0001__I)
& r_0029_0004__them(R_0029_0004__THEM)
& r_0029_0005__intimately(R_0029_0005__INTIMATELY)
& r_0029_0009__hand(R_0029_0009__HAND)
& r_0029_0002__have_r_0029_0003__seen(R_0029_0002__HAVE_R_0029_0003__SEEN)
& has_nim(R_0029_0002__HAVE_R_0029_0003__SEEN,R_0029_0007__CLOSE)
& r_0029_0007__close(R_0029_0007__CLOSE)
& has_r_0029_0008__at(R_0029_0007__CLOSE,R_0029_0009__HAND)
& has_nim(R_0029_0002__HAVE_R_0029_0003__SEEN,R_0029_0005__INTIMATELY)
& has_arg1(R_0029_0002__HAVE_R_0029_0003__SEEN,R_0029_0004__THEM)
& has_arg0(R_0029_0002__HAVE_R_0029_0003__SEEN,R_0029_0001__I) ) ).