Context                Previous, Next                Top


144_a_wilde_1_1888
“my eyes are all that I have left.

%3 r_0144_0003__eyes eyes r_0144_0002__my my r_0144_0003__eyes->r_0144_0002__my [gen] r_0144_0004__are are r_0144_0004__are->r_0144_0003__eyes [arg0] z_000_144_a_wilde_1_1888_12 r_0144_0004__are->z_000_144_a_wilde_1_1888_12 [prd] r_0144_0005__all_quant all [quant] r_0144_0005__all_quant->r_0144_0004__are [scope] r_0144_0005__all_quant->z_000_144_a_wilde_1_1888_12 [restriction] r_0144_0006__that_r_0144_0008__have that have r_0144_0009__left left r_0144_0006__that_r_0144_0008__have->r_0144_0009__left [scope] r_0144_0009__left->z_000_144_a_wilde_1_1888_12 [arg1] r_0144_0007__I I r_0144_0009__left->r_0144_0007__I [arg0] 
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_000_144_a_wilde_1_1888_12, prd).
arc(r_0144_0005__all_quant, r_0144_0004__are, scope).
arc(r_0144_0005__all_quant, z_000_144_a_wilde_1_1888_12, restriction).
arc(r_0144_0006__that_r_0144_0008__have, r_0144_0009__left, scope).
arc(r_0144_0009__left, r_0144_0007__I, arg0).
arc(r_0144_0009__left, z_000_144_a_wilde_1_1888_12, arg1).


%3 r_0144_0003__eyes eyes r_0144_0002__my my r_0144_0003__eyes->r_0144_0002__my [gen] r_0144_0004__are are r_0144_0004__are->r_0144_0003__eyes [arg0] z_000_144_a_wilde_1_1888_12 r_0144_0004__are->z_000_144_a_wilde_1_1888_12 [prd] r_0144_0005__all_quant all [quant] r_0144_0005__all_quant->r_0144_0004__are [scope] r_0144_0006__that_r_0144_0008__have_r_0144_0009__left that have left r_0144_0005__all_quant->r_0144_0006__that_r_0144_0008__have_r_0144_0009__left [restriction] r_0144_0006__that_r_0144_0008__have_r_0144_0009__left->z_000_144_a_wilde_1_1888_12 [arg1] r_0144_0007__I I r_0144_0006__that_r_0144_0008__have_r_0144_0009__left->r_0144_0007__I [arg0] 
fof(formula,axiom,
    ! [R_144_6_THAT_HAVE_LEFT,R_144_7_I,Z_144_A_WILDE_1_1888_12] :
      ( ( i(R_144_7_I)
        & that_have_left(R_144_6_THAT_HAVE_LEFT,R_144_7_I,Z_144_A_WILDE_1_1888_12) )
     => ? [R_144_4_ARE,R_144_3_EYES,R_144_2_MY] :
          ( my(R_144_2_MY)
          & are(R_144_4_ARE,R_144_3_EYES,Z_144_A_WILDE_1_1888_12)
          & eyes(R_144_3_EYES)
          & gen(R_144_3_EYES,R_144_2_MY) ) ) ).


n144_a_wilde_1_1888 n144_a_wilde_1_1888_3 <ldquo> n144_a_wilde_1_1888_7 my n144_a_wilde_1_1888_9 eyes n144_a_wilde_1_1888_11 are n144_a_wilde_1_1888_14 all n144_a_wilde_1_1888_17 that n144_a_wilde_1_1888_20 I n144_a_wilde_1_1888_22 have n144_a_wilde_1_1888_25 *T* n144_a_wilde_1_1888_27 left n144_a_wilde_1_1888_29 . n144_a_wilde_1_1888_1 IP-MAT n144_a_wilde_1_1888_2 PULQ n144_a_wilde_1_1888_1->n144_a_wilde_1_1888_2 n144_a_wilde_1_1888_4 NP-SBJ n144_a_wilde_1_1888_1->n144_a_wilde_1_1888_4 n144_a_wilde_1_1888_10 BEP;_Ln_ n144_a_wilde_1_1888_1->n144_a_wilde_1_1888_10 n144_a_wilde_1_1888_12 NP-PRD n144_a_wilde_1_1888_1->n144_a_wilde_1_1888_12 n144_a_wilde_1_1888_28 PUNC n144_a_wilde_1_1888_1->n144_a_wilde_1_1888_28 n144_a_wilde_1_1888_2->n144_a_wilde_1_1888_3 n144_a_wilde_1_1888_5 NP-GEN n144_a_wilde_1_1888_4->n144_a_wilde_1_1888_5 n144_a_wilde_1_1888_8 NS n144_a_wilde_1_1888_4->n144_a_wilde_1_1888_8 n144_a_wilde_1_1888_6 PRO;_genm_ n144_a_wilde_1_1888_5->n144_a_wilde_1_1888_6 n144_a_wilde_1_1888_6->n144_a_wilde_1_1888_7 n144_a_wilde_1_1888_8->n144_a_wilde_1_1888_9 n144_a_wilde_1_1888_10->n144_a_wilde_1_1888_11 n144_a_wilde_1_1888_13 Q;_nphd_ n144_a_wilde_1_1888_12->n144_a_wilde_1_1888_13 n144_a_wilde_1_1888_15 IP-REL n144_a_wilde_1_1888_12->n144_a_wilde_1_1888_15 n144_a_wilde_1_1888_13->n144_a_wilde_1_1888_14 n144_a_wilde_1_1888_16 C n144_a_wilde_1_1888_15->n144_a_wilde_1_1888_16 n144_a_wilde_1_1888_18 NP-SBJ n144_a_wilde_1_1888_15->n144_a_wilde_1_1888_18 n144_a_wilde_1_1888_21 HVP;_cat_Ve_ n144_a_wilde_1_1888_15->n144_a_wilde_1_1888_21 n144_a_wilde_1_1888_23 IP-PPL-CAT n144_a_wilde_1_1888_15->n144_a_wilde_1_1888_23 n144_a_wilde_1_1888_16->n144_a_wilde_1_1888_17 n144_a_wilde_1_1888_19 PRO n144_a_wilde_1_1888_18->n144_a_wilde_1_1888_19 n144_a_wilde_1_1888_19->n144_a_wilde_1_1888_20 n144_a_wilde_1_1888_21->n144_a_wilde_1_1888_22 n144_a_wilde_1_1888_24 NP-OB1 n144_a_wilde_1_1888_23->n144_a_wilde_1_1888_24 n144_a_wilde_1_1888_26 VVN;_Tn_ n144_a_wilde_1_1888_23->n144_a_wilde_1_1888_26 n144_a_wilde_1_1888_24->n144_a_wilde_1_1888_25 n144_a_wilde_1_1888_26->n144_a_wilde_1_1888_27 n144_a_wilde_1_1888_28->n144_a_wilde_1_1888_29 
( (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))