53_a_saint_exupery_1943
Here you may see the best portrait that, later, I was able to make of him.
( (IP-MAT (ADVP-NIM (ADV Here;{here}))
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (VB;__ see;{see})
(NP-OB1 (D the;{the})
(ADJP (ADJS best;{good}))
(N portrait;{portrait})
(IP-REL (C that;{that})
(PUNC ,)
(ADVP-NIM (ADVR later;{late}))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ;_cat_ able;{able})
(IP-INF (NP-OB1 *T*)
(TO to;{to})
(VB;__ make;{make})
(PP-NIM (P-ROLE of;{of})
(NP;{PRINCE} (PRO him;{he}))))))))
(PUNC .))
(ID 53_a_saint_exupery_1943))
arc(r_0053_0003__may,r_0053_0001__Here,nim).
arc(r_0053_0003__may,r_0053_0004__see,scope).
arc(r_0053_0004__see,r_0053_0002__you,arg0).
arc(r_0053_0004__see,r_0053_0005__the_r_0053_0007__portrait,arg1).
arc(r_0053_0005__the_r_0053_0007__portrait,r_0053_0006__best,attrib).
arc(r_0053_0013__was,r_0053_0010__later,nim).
arc(r_0053_0013__was,r_0053_0014__able,scope).
arc(r_0053_0014__able,r_0053_0016__make,scope).
arc(r_0053_0016__make,r_0053_0005__the_r_0053_0007__portrait,inv_arg1).
arc(r_0053_0016__make,r_0053_0012__I,arg0).
arc(r_0053_0016__make,r_0053_0018__him,r_0053_0017__of__nim).
fof(formula,axiom,
? [R_0053_0001__HERE,R_0053_0002__YOU,R_0053_0006__BEST,R_0053_0010__LATER,R_0053_0012__I,R_0053_0018__HIM,R_0053_0013__WAS_R_0053_0014__ABLE_R_0053_0016__MAKE,R_0053_0005__THE_R_0053_0007__PORTRAIT,R_0053_0003__MAY_R_0053_0004__SEE] :
( r_0053_0001__Here(R_0053_0001__HERE)
& r_0053_0002__you(R_0053_0002__YOU)
& r_0053_0006__best(R_0053_0006__BEST)
& r_0053_0010__later(R_0053_0010__LATER)
& r_0053_0012__I(R_0053_0012__I)
& r_0053_0018__him(R_0053_0018__HIM)
& r_0053_0003__may_r_0053_0004__see(R_0053_0003__MAY_R_0053_0004__SEE)
& has_arg1(R_0053_0003__MAY_R_0053_0004__SEE,R_0053_0005__THE_R_0053_0007__PORTRAIT)
& r_0053_0005__the_r_0053_0007__portrait(R_0053_0005__THE_R_0053_0007__PORTRAIT)
& has_inv_arg1(R_0053_0005__THE_R_0053_0007__PORTRAIT,R_0053_0013__WAS_R_0053_0014__ABLE_R_0053_0016__MAKE)
& r_0053_0013__was_r_0053_0014__able_r_0053_0016__make(R_0053_0013__WAS_R_0053_0014__ABLE_R_0053_0016__MAKE)
& has_r_0053_0017__of__nim(R_0053_0013__WAS_R_0053_0014__ABLE_R_0053_0016__MAKE,R_0053_0018__HIM)
& has_arg0(R_0053_0013__WAS_R_0053_0014__ABLE_R_0053_0016__MAKE,R_0053_0012__I)
& has_nim(R_0053_0013__WAS_R_0053_0014__ABLE_R_0053_0016__MAKE,R_0053_0010__LATER)
& has_attrib(R_0053_0005__THE_R_0053_0007__PORTRAIT,R_0053_0006__BEST)
& has_arg0(R_0053_0003__MAY_R_0053_0004__SEE,R_0053_0002__YOU)
& has_nim(R_0053_0003__MAY_R_0053_0004__SEE,R_0053_0001__HERE) ) ).