Context                Previous, Next                Top


143_a_wilde_1_1888
“Alas ! I have no ruby now,” said the Prince;

n143_a_wilde_1_1888 n143_a_wilde_1_1888__1_1_1 <ldquo> n143_a_wilde_1_1888__1_2_1_1_1 Alas_! n143_a_wilde_1_1888__1_2_1_2_1_1 I n143_a_wilde_1_1888__1_2_1_3_1 have n143_a_wilde_1_1888__1_2_1_4_1_1 no n143_a_wilde_1_1888__1_2_1_4_2_1 ruby n143_a_wilde_1_1888__1_2_1_5_1_1 now n143_a_wilde_1_1888__1_3_1 , n143_a_wilde_1_1888__1_4_1 <rdquo> n143_a_wilde_1_1888__1_5_1 said n143_a_wilde_1_1888__1_6_1_1 the n143_a_wilde_1_1888__1_6_2_1 Prince n143_a_wilde_1_1888__1_7_1 ; n143_a_wilde_1_1888__1 IP-MAT n143_a_wilde_1_1888__1_1 PULQ n143_a_wilde_1_1888__1->n143_a_wilde_1_1888__1_1 n143_a_wilde_1_1888__1_2 utterance-OB1 n143_a_wilde_1_1888__1->n143_a_wilde_1_1888__1_2 n143_a_wilde_1_1888__1_3 PUNC n143_a_wilde_1_1888__1->n143_a_wilde_1_1888__1_3 n143_a_wilde_1_1888__1_4 PURQ n143_a_wilde_1_1888__1->n143_a_wilde_1_1888__1_4 n143_a_wilde_1_1888__1_5 VBD;_Tr_ n143_a_wilde_1_1888__1->n143_a_wilde_1_1888__1_5 n143_a_wilde_1_1888__1_6 NP-SBJ n143_a_wilde_1_1888__1->n143_a_wilde_1_1888__1_6 n143_a_wilde_1_1888__1_7 PUNC n143_a_wilde_1_1888__1->n143_a_wilde_1_1888__1_7 n143_a_wilde_1_1888__1_1->n143_a_wilde_1_1888__1_1_1 n143_a_wilde_1_1888__1_2_1 IP-MAT n143_a_wilde_1_1888__1_2->n143_a_wilde_1_1888__1_2_1 n143_a_wilde_1_1888__1_2_1_1 REACT n143_a_wilde_1_1888__1_2_1->n143_a_wilde_1_1888__1_2_1_1 n143_a_wilde_1_1888__1_2_1_2 NP-SBJ n143_a_wilde_1_1888__1_2_1->n143_a_wilde_1_1888__1_2_1_2 n143_a_wilde_1_1888__1_2_1_3 HVP;_Tn_ n143_a_wilde_1_1888__1_2_1->n143_a_wilde_1_1888__1_2_1_3 n143_a_wilde_1_1888__1_2_1_4 NP-OB1 n143_a_wilde_1_1888__1_2_1->n143_a_wilde_1_1888__1_2_1_4 n143_a_wilde_1_1888__1_2_1_5 ADVP-NIM n143_a_wilde_1_1888__1_2_1->n143_a_wilde_1_1888__1_2_1_5 n143_a_wilde_1_1888__1_2_1_1->n143_a_wilde_1_1888__1_2_1_1_1 n143_a_wilde_1_1888__1_2_1_2_1 PRO n143_a_wilde_1_1888__1_2_1_2->n143_a_wilde_1_1888__1_2_1_2_1 n143_a_wilde_1_1888__1_2_1_2_1->n143_a_wilde_1_1888__1_2_1_2_1_1 n143_a_wilde_1_1888__1_2_1_3->n143_a_wilde_1_1888__1_2_1_3_1 n143_a_wilde_1_1888__1_2_1_4_1 Q n143_a_wilde_1_1888__1_2_1_4->n143_a_wilde_1_1888__1_2_1_4_1 n143_a_wilde_1_1888__1_2_1_4_2 N n143_a_wilde_1_1888__1_2_1_4->n143_a_wilde_1_1888__1_2_1_4_2 n143_a_wilde_1_1888__1_2_1_4_1->n143_a_wilde_1_1888__1_2_1_4_1_1 n143_a_wilde_1_1888__1_2_1_4_2->n143_a_wilde_1_1888__1_2_1_4_2_1 n143_a_wilde_1_1888__1_2_1_5_1 ADV n143_a_wilde_1_1888__1_2_1_5->n143_a_wilde_1_1888__1_2_1_5_1 n143_a_wilde_1_1888__1_2_1_5_1->n143_a_wilde_1_1888__1_2_1_5_1_1 n143_a_wilde_1_1888__1_3->n143_a_wilde_1_1888__1_3_1 n143_a_wilde_1_1888__1_4->n143_a_wilde_1_1888__1_4_1 n143_a_wilde_1_1888__1_5->n143_a_wilde_1_1888__1_5_1 n143_a_wilde_1_1888__1_6_1 D n143_a_wilde_1_1888__1_6->n143_a_wilde_1_1888__1_6_1 n143_a_wilde_1_1888__1_6_2 N n143_a_wilde_1_1888__1_6->n143_a_wilde_1_1888__1_6_2 n143_a_wilde_1_1888__1_6_1->n143_a_wilde_1_1888__1_6_1_1 n143_a_wilde_1_1888__1_6_2->n143_a_wilde_1_1888__1_6_2_1 n143_a_wilde_1_1888__1_7->n143_a_wilde_1_1888__1_7_1 
( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (REACT Alas_!)
                                 (NP-SBJ;{PRINCE} (PRO I;{I}))
                                 (HVP;_Tn_ have;{have})
                                 (NP-OB1 (Q no;{no})
                                         (N ruby;{ruby}))
                                 (ADVP-NIM (ADV now;{now}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{PRINCE} (D the;{the})
                           (N Prince;{prince}))
          (PUNC ;))
  (ID 143_a_wilde_1_1888))


%3 z_0143_5002__utterance [utterance] r_0143_0005__no__quant no [quant] z_0143_5002__utterance->r_0143_0005__no__quant [part1] r_0143_0006__ruby ruby r_0143_0005__no__quant->r_0143_0006__ruby [restriction] r_0143_0004__have have r_0143_0005__no__quant->r_0143_0004__have [scope] r_0143_0010__said said r_0143_0010__said->z_0143_5002__utterance [arg1] r_0143_0011__the_r_0143_0012__Prince the Prince r_0143_0010__said->r_0143_0011__the_r_0143_0012__Prince [arg0] r_0143_0004__have->r_0143_0006__ruby [arg1] r_0143_0007__now now r_0143_0004__have->r_0143_0007__now [nim] r_0143_0003__I I r_0143_0004__have->r_0143_0003__I [arg0] 
arc(r_0143_0004__have,r_0143_0003__I,arg0).
arc(r_0143_0004__have,r_0143_0006__ruby,arg1).
arc(r_0143_0004__have,r_0143_0007__now,nim).
arc(r_0143_0005__no__quant,r_0143_0004__have,scope).
arc(r_0143_0005__no__quant,r_0143_0006__ruby,restriction).
arc(r_0143_0010__said,r_0143_0011__the_r_0143_0012__Prince,arg0).
arc(r_0143_0010__said,z_0143_5002__utterance,arg1).
arc(z_0143_5002__utterance,r_0143_0005__no__quant,part1).


%3 r_0143_0004__have have r_0143_0003__I I r_0143_0004__have->r_0143_0003__I [arg0] r_0143_0006__ruby ruby r_0143_0004__have->r_0143_0006__ruby [arg1] r_0143_0007__now now r_0143_0004__have->r_0143_0007__now [nim] r_0143_0005__no__quant no [quant] r_0143_0005__no__quant->r_0143_0004__have [scope] r_0143_0005__no__quant->r_0143_0006__ruby [restriction] r_0143_0010__said said r_0143_0011__the_r_0143_0012__Prince the Prince r_0143_0010__said->r_0143_0011__the_r_0143_0012__Prince [arg0] z_0143_5002__utterance [utterance] r_0143_0010__said->z_0143_5002__utterance [arg1] z_0143_5002__utterance->r_0143_0005__no__quant [part1] 
fof(formula,axiom,
    ? [R_0143_0011__THE_R_0143_0012__PRINCE,Z_0143_5002__UTTERANCE,R_0143_0010__SAID] :
      ( r_0143_0011__the_r_0143_0012__Prince(R_0143_0011__THE_R_0143_0012__PRINCE)
      & r_0143_0010__said(R_0143_0010__SAID)
      & has_arg1(R_0143_0010__SAID,Z_0143_5002__UTTERANCE)
      & z_0143_5002__utterance(Z_0143_5002__UTTERANCE)
      & ! [R_0143_0006__RUBY] :
          ( r_0143_0006__ruby(R_0143_0006__RUBY)
         => ? [R_0143_0003__I,R_0143_0007__NOW,R_0143_0004__HAVE] :
              ( r_0143_0003__I(R_0143_0003__I)
              & r_0143_0007__now(R_0143_0007__NOW)
              & r_0143_0004__have(R_0143_0004__HAVE)
              & has_nim(R_0143_0004__HAVE,R_0143_0007__NOW)
              & has_arg1(R_0143_0004__HAVE,R_0143_0006__RUBY)
              & has_arg0(R_0143_0004__HAVE,R_0143_0003__I) ) )
      & has_arg0(R_0143_0010__SAID,R_0143_0011__THE_R_0143_0012__PRINCE) ) ).