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_0006__that_r_0144_0008__have_r_0144_0009__left that have left z_000_144_a_wilde_1_1888_12 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] r_0144_0005__all_quant all [quant] r_0144_0005__all_quant->r_0144_0006__that_r_0144_0008__have_r_0144_0009__left [restriction] r_0144_0004__are are r_0144_0005__all_quant->r_0144_0004__are [scope] r_0144_0004__are->z_000_144_a_wilde_1_1888_12 [prd] r_0144_0003__eyes eyes r_0144_0004__are->r_0144_0003__eyes [arg0] r_0144_0002__my my r_0144_0003__eyes->r_0144_0002__my [gen] 
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__1_1_1 <ldquo> n144_a_wilde_1_1888__1_2_1_1_1 my n144_a_wilde_1_1888__1_2_2_1 eyes n144_a_wilde_1_1888__1_3_1 are n144_a_wilde_1_1888__1_4_1_1 all n144_a_wilde_1_1888__1_4_2_1_1 that n144_a_wilde_1_1888__1_4_2_2_1_1 I n144_a_wilde_1_1888__1_4_2_3_1 have n144_a_wilde_1_1888__1_4_2_4_1_1 *T* n144_a_wilde_1_1888__1_4_2_4_2_1 left n144_a_wilde_1_1888__1_5_1 . n144_a_wilde_1_1888__1 IP-MAT n144_a_wilde_1_1888__1_1 PULQ n144_a_wilde_1_1888__1->n144_a_wilde_1_1888__1_1 n144_a_wilde_1_1888__1_2 NP-SBJ n144_a_wilde_1_1888__1->n144_a_wilde_1_1888__1_2 n144_a_wilde_1_1888__1_3 BEP;_Ln_ n144_a_wilde_1_1888__1->n144_a_wilde_1_1888__1_3 n144_a_wilde_1_1888__1_4 NP-PRD n144_a_wilde_1_1888__1->n144_a_wilde_1_1888__1_4 n144_a_wilde_1_1888__1_5 PUNC n144_a_wilde_1_1888__1->n144_a_wilde_1_1888__1_5 n144_a_wilde_1_1888__1_1->n144_a_wilde_1_1888__1_1_1 n144_a_wilde_1_1888__1_2_1 NP-GEN n144_a_wilde_1_1888__1_2->n144_a_wilde_1_1888__1_2_1 n144_a_wilde_1_1888__1_2_2 NS n144_a_wilde_1_1888__1_2->n144_a_wilde_1_1888__1_2_2 n144_a_wilde_1_1888__1_2_1_1 PRO;_genm_ n144_a_wilde_1_1888__1_2_1->n144_a_wilde_1_1888__1_2_1_1 n144_a_wilde_1_1888__1_2_1_1->n144_a_wilde_1_1888__1_2_1_1_1 n144_a_wilde_1_1888__1_2_2->n144_a_wilde_1_1888__1_2_2_1 n144_a_wilde_1_1888__1_3->n144_a_wilde_1_1888__1_3_1 n144_a_wilde_1_1888__1_4_1 Q;_nphd_ n144_a_wilde_1_1888__1_4->n144_a_wilde_1_1888__1_4_1 n144_a_wilde_1_1888__1_4_2 IP-REL n144_a_wilde_1_1888__1_4->n144_a_wilde_1_1888__1_4_2 n144_a_wilde_1_1888__1_4_1->n144_a_wilde_1_1888__1_4_1_1 n144_a_wilde_1_1888__1_4_2_1 C n144_a_wilde_1_1888__1_4_2->n144_a_wilde_1_1888__1_4_2_1 n144_a_wilde_1_1888__1_4_2_2 NP-SBJ n144_a_wilde_1_1888__1_4_2->n144_a_wilde_1_1888__1_4_2_2 n144_a_wilde_1_1888__1_4_2_3 HVP;_cat_Ve_ n144_a_wilde_1_1888__1_4_2->n144_a_wilde_1_1888__1_4_2_3 n144_a_wilde_1_1888__1_4_2_4 IP-PPL-CAT n144_a_wilde_1_1888__1_4_2->n144_a_wilde_1_1888__1_4_2_4 n144_a_wilde_1_1888__1_4_2_1->n144_a_wilde_1_1888__1_4_2_1_1 n144_a_wilde_1_1888__1_4_2_2_1 PRO n144_a_wilde_1_1888__1_4_2_2->n144_a_wilde_1_1888__1_4_2_2_1 n144_a_wilde_1_1888__1_4_2_2_1->n144_a_wilde_1_1888__1_4_2_2_1_1 n144_a_wilde_1_1888__1_4_2_3->n144_a_wilde_1_1888__1_4_2_3_1 n144_a_wilde_1_1888__1_4_2_4_1 NP-OB1 n144_a_wilde_1_1888__1_4_2_4->n144_a_wilde_1_1888__1_4_2_4_1 n144_a_wilde_1_1888__1_4_2_4_2 VVN;_Tn_ n144_a_wilde_1_1888__1_4_2_4->n144_a_wilde_1_1888__1_4_2_4_2 n144_a_wilde_1_1888__1_4_2_4_1->n144_a_wilde_1_1888__1_4_2_4_1_1 n144_a_wilde_1_1888__1_4_2_4_2->n144_a_wilde_1_1888__1_4_2_4_2_1 n144_a_wilde_1_1888__1_5->n144_a_wilde_1_1888__1_5_1 
( (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))