144_a_wilde_1_1888
“my eyes are all that I have left.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{EYES} (NP-GEN;{PRINCE} (PRO;_genm_ my;{my}))
(NS eyes;{eye}))
(BEP;_Ln_ are;{be})
(NP-PRD (Q;_nphd_ all;{all})
(IP-REL (C that;{that})
(NP-SBJ;{PRINCE} (PRO I;{I}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (NP-OB1 *T*)
(VVN;_Tn_ left;{leave}))))
(PUNC .))
(ID 144_a_wilde_1_1888))
arc(r_0144_0003__eyes,r_0144_0002__my,gen).
arc(r_0144_0004__are,r_0144_0003__eyes,arg0).
arc(r_0144_0004__are,z_0144_5008,prd).
arc(r_0144_0005__all__quant,r_0144_0004__are,scope).
arc(r_0144_0005__all__quant,z_0144_5008,restriction).
arc(r_0144_0008__have,r_0144_0009__left,scope).
arc(r_0144_0009__left,r_0144_0002__my,arg0).
arc(r_0144_0009__left,z_0144_5008,inv_arg1).
fof(formula,axiom,
! [Z_0144_5008,R_0144_0002__MY,R_0144_0008__HAVE_R_0144_0009__LEFT] :
( ( r_0144_0002__my(R_0144_0002__MY)
& z_0144_5008(Z_0144_5008)
& has_inv_arg1(Z_0144_5008,R_0144_0008__HAVE_R_0144_0009__LEFT)
& r_0144_0008__have_r_0144_0009__left(R_0144_0008__HAVE_R_0144_0009__LEFT)
& has_arg0(R_0144_0008__HAVE_R_0144_0009__LEFT,R_0144_0002__MY) )
=> ? [R_0144_0003__EYES,R_0144_0004__ARE] :
( r_0144_0004__are(R_0144_0004__ARE)
& has_prd(R_0144_0004__ARE,Z_0144_5008)
& has_arg0(R_0144_0004__ARE,R_0144_0003__EYES)
& r_0144_0003__eyes(R_0144_0003__EYES)
& has_gen(R_0144_0003__EYES,R_0144_0002__MY) ) ) ).