103_a_saint_exupery_1943
And that is how I made the acquaintance of the little prince.
( (IP-MAT (CONJ;_cl_ And;{and})
(NP-SBJ (D;_nphd_ that;{that}))
(BEP;_Ln_ is;{be})
(NP-PRD (IP-REL (ADVP-NIM (RADV how;{how}))
(NP-SBJ (PRO I;{I}))
(VBD;__ made;{make})
(NP-OB1 (D the;{the})
(N acquaintance;{acquaintance})
(PP (P-ROLE of;{of})
(NP;{PRINCE} (D the;{the})
(ADJP (ADJ little;{little}))
(N prince;{prince}))))))
(PUNC .))
(ID 103_a_saint_exupery_1943))
arc(r_0103_0003__is,r_0103_0002__that,arg0).
arc(r_0103_0003__is,r_0103_0004__how,prd).
arc(r_0103_0006__made,r_0103_0004__how,nim).
arc(r_0103_0006__made,r_0103_0005__I,arg0).
arc(r_0103_0006__made,r_0103_0007__the_r_0103_0008__acquaintance,arg1).
arc(r_0103_0007__the_r_0103_0008__acquaintance,r_0103_0010__the_r_0103_0012__prince,r_0103_0009__of).
arc(r_0103_0010__the_r_0103_0012__prince,r_0103_0011__little,attrib).
fof(formula,axiom,
? [R_0103_0002__THAT,R_0103_0004__HOW,R_0103_0003__IS,R_0103_0005__I,R_0103_0011__LITTLE,R_0103_0010__THE_R_0103_0012__PRINCE,R_0103_0007__THE_R_0103_0008__ACQUAINTANCE,R_0103_0006__MADE] :
( r_0103_0002__that(R_0103_0002__THAT)
& r_0103_0004__how(R_0103_0004__HOW)
& r_0103_0005__I(R_0103_0005__I)
& r_0103_0011__little(R_0103_0011__LITTLE)
& r_0103_0006__made(R_0103_0006__MADE)
& has_arg1(R_0103_0006__MADE,R_0103_0007__THE_R_0103_0008__ACQUAINTANCE)
& r_0103_0007__the_r_0103_0008__acquaintance(R_0103_0007__THE_R_0103_0008__ACQUAINTANCE)
& has_r_0103_0009__of(R_0103_0007__THE_R_0103_0008__ACQUAINTANCE,R_0103_0010__THE_R_0103_0012__PRINCE)
& r_0103_0010__the_r_0103_0012__prince(R_0103_0010__THE_R_0103_0012__PRINCE)
& has_attrib(R_0103_0010__THE_R_0103_0012__PRINCE,R_0103_0011__LITTLE)
& has_arg0(R_0103_0006__MADE,R_0103_0005__I)
& has_nim(R_0103_0006__MADE,R_0103_0004__HOW)
& r_0103_0003__is(R_0103_0003__IS)
& has_prd(R_0103_0003__IS,R_0103_0004__HOW)
& has_arg0(R_0103_0003__IS,R_0103_0002__THAT) ) ).