Context                Previous, Next                Top


237_a_wilde_1_1888
“As he is no longer beautiful he is no longer useful,” said the Art Professor at the University.

%3 utterance_237_a_wilde_1_1888_4 [utterance] r_0237_0002__As As utterance_237_a_wilde_1_1888_4->r_0237_0002__As [part1] r_0237_0004__is is r_0237_0002__As->r_0237_0004__is [restriction] r_0237_0009__is is r_0237_0002__As->r_0237_0009__is [scope] r_0237_0003__he he r_0237_0004__is->r_0237_0003__he [arg0] r_0237_0007__beautiful beautiful r_0237_0004__is->r_0237_0007__beautiful [prd] r_0237_0008__he he r_0237_0009__is->r_0237_0008__he [arg0] r_0237_0012__useful useful r_0237_0009__is->r_0237_0012__useful [prd] r_0237_0006__longer longer r_0237_0007__beautiful->r_0237_0006__longer [qual] r_0237_0005__no_quant no [quant] r_0237_0005__no_quant->r_0237_0006__longer [scope] z_000_237_a_wilde_1_1888_17 r_0237_0005__no_quant->z_000_237_a_wilde_1_1888_17 [restriction] r_0237_0006__longer->z_000_237_a_wilde_1_1888_17 [nim] r_0237_0011__longer longer r_0237_0012__useful->r_0237_0011__longer [qual] r_0237_0010__no_quant no [quant] r_0237_0010__no_quant->r_0237_0011__longer [scope] z_000_237_a_wilde_1_1888_31 r_0237_0010__no_quant->z_000_237_a_wilde_1_1888_31 [restriction] r_0237_0011__longer->z_000_237_a_wilde_1_1888_31 [nim] r_0237_0015__said said r_0237_0015__said->utterance_237_a_wilde_1_1888_4 [arg1] r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor the Art Professor r_0237_0015__said->r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor [arg0] r_0237_0020__the_r_0237_0021__University the University r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor->r_0237_0020__the_r_0237_0021__University at 
arc(utterance_237_a_wilde_1_1888_4, r_0237_0002__As, part1).
arc(r_0237_0002__As, r_0237_0004__is, restriction).
arc(r_0237_0002__As, r_0237_0009__is, scope).
arc(r_0237_0004__is, r_0237_0003__he, arg0).
arc(r_0237_0004__is, r_0237_0007__beautiful, prd).
arc(r_0237_0005__no_quant, r_0237_0006__longer, scope).
arc(r_0237_0005__no_quant, z_000_237_a_wilde_1_1888_17, restriction).
arc(r_0237_0006__longer, z_000_237_a_wilde_1_1888_17, nim17).
arc(r_0237_0007__beautiful, r_0237_0006__longer, qual16).
arc(r_0237_0009__is, r_0237_0008__he, arg0).
arc(r_0237_0009__is, r_0237_0012__useful, prd).
arc(r_0237_0010__no_quant, r_0237_0011__longer, scope).
arc(r_0237_0010__no_quant, z_000_237_a_wilde_1_1888_31, restriction).
arc(r_0237_0011__longer, z_000_237_a_wilde_1_1888_31, nim31).
arc(r_0237_0012__useful, r_0237_0011__longer, qual30).
arc(r_0237_0015__said, utterance_237_a_wilde_1_1888_4, arg1).
arc(r_0237_0015__said, r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor, arg0).
arc(r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor, r_0237_0020__the_r_0237_0021__University, r_0237_0019__at).


%3 r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor the Art Professor r_0237_0020__the_r_0237_0021__University the University r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor->r_0237_0020__the_r_0237_0021__University at r_0237_0015__said said r_0237_0015__said->r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor [arg0] utterance_237_a_wilde_1_1888_4 [utterance] r_0237_0015__said->utterance_237_a_wilde_1_1888_4 [arg1] r_0237_0002__As As utterance_237_a_wilde_1_1888_4->r_0237_0002__As [part1] r_0237_0012__useful useful r_0237_0011__longer longer r_0237_0012__useful->r_0237_0011__longer [qual] z_000_237_a_wilde_1_1888_31 r_0237_0011__longer->z_000_237_a_wilde_1_1888_31 [nim] r_0237_0010__no_quant no [quant] r_0237_0010__no_quant->z_000_237_a_wilde_1_1888_31 [restriction] r_0237_0009__is is r_0237_0010__no_quant->r_0237_0009__is [scope] r_0237_0009__is->r_0237_0012__useful [prd] r_0237_0008__he he r_0237_0009__is->r_0237_0008__he [arg0] r_0237_0007__beautiful beautiful r_0237_0006__longer longer r_0237_0007__beautiful->r_0237_0006__longer [qual] z_000_237_a_wilde_1_1888_17 r_0237_0006__longer->z_000_237_a_wilde_1_1888_17 [nim] r_0237_0005__no_quant no [quant] r_0237_0005__no_quant->z_000_237_a_wilde_1_1888_17 [restriction] r_0237_0004__is is r_0237_0005__no_quant->r_0237_0004__is [scope] r_0237_0004__is->r_0237_0007__beautiful [prd] r_0237_0003__he he r_0237_0004__is->r_0237_0003__he [arg0] r_0237_0002__As->r_0237_0009__is [conj2] r_0237_0002__As->r_0237_0005__no_quant [conj1] 
fof(formula,axiom,
    ? [R_237_15_SAID,R_237_16_THE_ART_PROFESSOR,R_237_20_THE_UNIVERSITY,UTTERANCE_237_A_WILDE_1_1888_4,R_237_2_AS,R_237_9_IS,R_237_8_HE,R_237_12_USEFUL,R_237_11_LONGER,Z_237_A_WILDE_1_1888_31] :
      ( the_University(R_237_20_THE_UNIVERSITY)
      & he(R_237_8_HE)
      & ( true
       => true )
      & said(R_237_15_SAID,R_237_16_THE_ART_PROFESSOR,UTTERANCE_237_A_WILDE_1_1888_4)
      & the_Art_Professor(R_237_16_THE_ART_PROFESSOR)
      & at(R_237_16_THE_ART_PROFESSOR,R_237_20_THE_UNIVERSITY)
      & utterance_237_a_wilde_1_1888_4(UTTERANCE_237_A_WILDE_1_1888_4)
      & part1(UTTERANCE_237_A_WILDE_1_1888_4,R_237_2_AS)
      & ! [Z_237_A_WILDE_1_1888_17] :
          ( true
         => ? [R_237_4_IS,R_237_3_HE,R_237_7_BEAUTIFUL,R_237_6_LONGER] :
              ( he(R_237_3_HE)
              & is(R_237_4_IS,R_237_3_HE,R_237_7_BEAUTIFUL)
              & beautiful(R_237_7_BEAUTIFUL)
              & qual16(R_237_7_BEAUTIFUL,R_237_6_LONGER)
              & longer(R_237_6_LONGER)
              & nim17(R_237_6_LONGER,Z_237_A_WILDE_1_1888_17) ) )
      & conj1(CONJ1)
      & as(R_237_2_AS)
      & conj2(R_237_2_AS,R_237_9_IS)
      & is(R_237_9_IS,R_237_8_HE,R_237_12_USEFUL)
      & useful(R_237_12_USEFUL)
      & qual30(R_237_12_USEFUL,R_237_11_LONGER)
      & longer(R_237_11_LONGER)
      & nim31(R_237_11_LONGER,Z_237_A_WILDE_1_1888_31) ) ).


n237_a_wilde_1_1888 n237_a_wilde_1_1888__1_1_1 <ldquo> n237_a_wilde_1_1888__1_2_1_1_1_1 As n237_a_wilde_1_1888__1_2_1_1_2_1_1_1 he n237_a_wilde_1_1888__1_2_1_1_2_2_1 is n237_a_wilde_1_1888__1_2_1_1_2_3_1_1_1_1 no n237_a_wilde_1_1888__1_2_1_1_2_3_1_2_1 longer n237_a_wilde_1_1888__1_2_1_1_2_3_2_1 beautiful n237_a_wilde_1_1888__1_2_1_2_1_1 he n237_a_wilde_1_1888__1_2_1_3_1 is n237_a_wilde_1_1888__1_2_1_4_1_1_1_1 no n237_a_wilde_1_1888__1_2_1_4_1_2_1 longer n237_a_wilde_1_1888__1_2_1_4_2_1 useful n237_a_wilde_1_1888__1_3_1 , n237_a_wilde_1_1888__1_4_1 <rdquo> n237_a_wilde_1_1888__1_5_1 said n237_a_wilde_1_1888__1_6_1_1 the n237_a_wilde_1_1888__1_6_2_1 Art n237_a_wilde_1_1888__1_6_3_1 Professor n237_a_wilde_1_1888__1_6_4_1_1 at n237_a_wilde_1_1888__1_6_4_2_1_1 the n237_a_wilde_1_1888__1_6_4_2_2_1 University n237_a_wilde_1_1888__1_7_1 . n237_a_wilde_1_1888__1 IP-MAT n237_a_wilde_1_1888__1_1 PULQ n237_a_wilde_1_1888__1->n237_a_wilde_1_1888__1_1 n237_a_wilde_1_1888__1_2 utterance-OB1 n237_a_wilde_1_1888__1->n237_a_wilde_1_1888__1_2 n237_a_wilde_1_1888__1_3 PUNC n237_a_wilde_1_1888__1->n237_a_wilde_1_1888__1_3 n237_a_wilde_1_1888__1_4 PURQ n237_a_wilde_1_1888__1->n237_a_wilde_1_1888__1_4 n237_a_wilde_1_1888__1_5 VBD;_Tr_ n237_a_wilde_1_1888__1->n237_a_wilde_1_1888__1_5 n237_a_wilde_1_1888__1_6 NP-SBJ n237_a_wilde_1_1888__1->n237_a_wilde_1_1888__1_6 n237_a_wilde_1_1888__1_7 PUNC n237_a_wilde_1_1888__1->n237_a_wilde_1_1888__1_7 n237_a_wilde_1_1888__1_1->n237_a_wilde_1_1888__1_1_1 n237_a_wilde_1_1888__1_2_1 IP-MAT n237_a_wilde_1_1888__1_2->n237_a_wilde_1_1888__1_2_1 n237_a_wilde_1_1888__1_2_1_1 PP-SCON n237_a_wilde_1_1888__1_2_1->n237_a_wilde_1_1888__1_2_1_1 n237_a_wilde_1_1888__1_2_1_2 NP-SBJ n237_a_wilde_1_1888__1_2_1->n237_a_wilde_1_1888__1_2_1_2 n237_a_wilde_1_1888__1_2_1_3 BEP;_La_ n237_a_wilde_1_1888__1_2_1->n237_a_wilde_1_1888__1_2_1_3 n237_a_wilde_1_1888__1_2_1_4 ADJP-PRD n237_a_wilde_1_1888__1_2_1->n237_a_wilde_1_1888__1_2_1_4 n237_a_wilde_1_1888__1_2_1_1_1 P-CONN n237_a_wilde_1_1888__1_2_1_1->n237_a_wilde_1_1888__1_2_1_1_1 n237_a_wilde_1_1888__1_2_1_1_2 IP-ADV n237_a_wilde_1_1888__1_2_1_1->n237_a_wilde_1_1888__1_2_1_1_2 n237_a_wilde_1_1888__1_2_1_1_1->n237_a_wilde_1_1888__1_2_1_1_1_1 n237_a_wilde_1_1888__1_2_1_1_2_1 NP-SBJ n237_a_wilde_1_1888__1_2_1_1_2->n237_a_wilde_1_1888__1_2_1_1_2_1 n237_a_wilde_1_1888__1_2_1_1_2_2 BEP;_La_ n237_a_wilde_1_1888__1_2_1_1_2->n237_a_wilde_1_1888__1_2_1_1_2_2 n237_a_wilde_1_1888__1_2_1_1_2_3 ADJP-PRD n237_a_wilde_1_1888__1_2_1_1_2->n237_a_wilde_1_1888__1_2_1_1_2_3 n237_a_wilde_1_1888__1_2_1_1_2_1_1 PRO n237_a_wilde_1_1888__1_2_1_1_2_1->n237_a_wilde_1_1888__1_2_1_1_2_1_1 n237_a_wilde_1_1888__1_2_1_1_2_1_1->n237_a_wilde_1_1888__1_2_1_1_2_1_1_1 n237_a_wilde_1_1888__1_2_1_1_2_2->n237_a_wilde_1_1888__1_2_1_1_2_2_1 n237_a_wilde_1_1888__1_2_1_1_2_3_1 ADVP n237_a_wilde_1_1888__1_2_1_1_2_3->n237_a_wilde_1_1888__1_2_1_1_2_3_1 n237_a_wilde_1_1888__1_2_1_1_2_3_2 ADJ n237_a_wilde_1_1888__1_2_1_1_2_3->n237_a_wilde_1_1888__1_2_1_1_2_3_2 n237_a_wilde_1_1888__1_2_1_1_2_3_1_1 NP n237_a_wilde_1_1888__1_2_1_1_2_3_1->n237_a_wilde_1_1888__1_2_1_1_2_3_1_1 n237_a_wilde_1_1888__1_2_1_1_2_3_1_2 ADVR n237_a_wilde_1_1888__1_2_1_1_2_3_1->n237_a_wilde_1_1888__1_2_1_1_2_3_1_2 n237_a_wilde_1_1888__1_2_1_1_2_3_1_1_1 Q;_nphd_ n237_a_wilde_1_1888__1_2_1_1_2_3_1_1->n237_a_wilde_1_1888__1_2_1_1_2_3_1_1_1 n237_a_wilde_1_1888__1_2_1_1_2_3_1_1_1->n237_a_wilde_1_1888__1_2_1_1_2_3_1_1_1_1 n237_a_wilde_1_1888__1_2_1_1_2_3_1_2->n237_a_wilde_1_1888__1_2_1_1_2_3_1_2_1 n237_a_wilde_1_1888__1_2_1_1_2_3_2->n237_a_wilde_1_1888__1_2_1_1_2_3_2_1 n237_a_wilde_1_1888__1_2_1_2_1 PRO n237_a_wilde_1_1888__1_2_1_2->n237_a_wilde_1_1888__1_2_1_2_1 n237_a_wilde_1_1888__1_2_1_2_1->n237_a_wilde_1_1888__1_2_1_2_1_1 n237_a_wilde_1_1888__1_2_1_3->n237_a_wilde_1_1888__1_2_1_3_1 n237_a_wilde_1_1888__1_2_1_4_1 ADVP n237_a_wilde_1_1888__1_2_1_4->n237_a_wilde_1_1888__1_2_1_4_1 n237_a_wilde_1_1888__1_2_1_4_2 ADJ n237_a_wilde_1_1888__1_2_1_4->n237_a_wilde_1_1888__1_2_1_4_2 n237_a_wilde_1_1888__1_2_1_4_1_1 NP n237_a_wilde_1_1888__1_2_1_4_1->n237_a_wilde_1_1888__1_2_1_4_1_1 n237_a_wilde_1_1888__1_2_1_4_1_2 ADVR n237_a_wilde_1_1888__1_2_1_4_1->n237_a_wilde_1_1888__1_2_1_4_1_2 n237_a_wilde_1_1888__1_2_1_4_1_1_1 Q;_nphd_ n237_a_wilde_1_1888__1_2_1_4_1_1->n237_a_wilde_1_1888__1_2_1_4_1_1_1 n237_a_wilde_1_1888__1_2_1_4_1_1_1->n237_a_wilde_1_1888__1_2_1_4_1_1_1_1 n237_a_wilde_1_1888__1_2_1_4_1_2->n237_a_wilde_1_1888__1_2_1_4_1_2_1 n237_a_wilde_1_1888__1_2_1_4_2->n237_a_wilde_1_1888__1_2_1_4_2_1 n237_a_wilde_1_1888__1_3->n237_a_wilde_1_1888__1_3_1 n237_a_wilde_1_1888__1_4->n237_a_wilde_1_1888__1_4_1 n237_a_wilde_1_1888__1_5->n237_a_wilde_1_1888__1_5_1 n237_a_wilde_1_1888__1_6_1 D n237_a_wilde_1_1888__1_6->n237_a_wilde_1_1888__1_6_1 n237_a_wilde_1_1888__1_6_2 N n237_a_wilde_1_1888__1_6->n237_a_wilde_1_1888__1_6_2 n237_a_wilde_1_1888__1_6_3 N n237_a_wilde_1_1888__1_6->n237_a_wilde_1_1888__1_6_3 n237_a_wilde_1_1888__1_6_4 PP n237_a_wilde_1_1888__1_6->n237_a_wilde_1_1888__1_6_4 n237_a_wilde_1_1888__1_6_1->n237_a_wilde_1_1888__1_6_1_1 n237_a_wilde_1_1888__1_6_2->n237_a_wilde_1_1888__1_6_2_1 n237_a_wilde_1_1888__1_6_3->n237_a_wilde_1_1888__1_6_3_1 n237_a_wilde_1_1888__1_6_4_1 P-ROLE n237_a_wilde_1_1888__1_6_4->n237_a_wilde_1_1888__1_6_4_1 n237_a_wilde_1_1888__1_6_4_2 NP n237_a_wilde_1_1888__1_6_4->n237_a_wilde_1_1888__1_6_4_2 n237_a_wilde_1_1888__1_6_4_1->n237_a_wilde_1_1888__1_6_4_1_1 n237_a_wilde_1_1888__1_6_4_2_1 D n237_a_wilde_1_1888__1_6_4_2->n237_a_wilde_1_1888__1_6_4_2_1 n237_a_wilde_1_1888__1_6_4_2_2 N n237_a_wilde_1_1888__1_6_4_2->n237_a_wilde_1_1888__1_6_4_2_2 n237_a_wilde_1_1888__1_6_4_2_1->n237_a_wilde_1_1888__1_6_4_2_1_1 n237_a_wilde_1_1888__1_6_4_2_2->n237_a_wilde_1_1888__1_6_4_2_2_1 n237_a_wilde_1_1888__1_7->n237_a_wilde_1_1888__1_7_1 
( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (PP-SCON (P-CONN As;{as})
                                          (IP-ADV (NP-SBJ;{PRINCE} (PRO he;{he}))
                                                  (BEP;_La_ is;{be})
                                                  (ADJP-PRD (ADVP (NP (Q;_nphd_ no;{no}))
                                                                  (ADVR longer;{long}))
                                                            (ADJ beautiful;{beautiful}))))
                                 (NP-SBJ;{PRINCE} (PRO he;{he}))
                                 (BEP;_La_ is;{be})
                                 (ADJP-PRD (ADVP (NP (Q;_nphd_ no;{no}))
                                                 (ADVR longer;{long}))
                                           (ADJ useful;{useful}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{ART_PROFESSOR} (D the;{the})
                                  (N Art;{art})
                                  (N Professor;{professor})
                                  (PP (P-ROLE at;{at})
                                      (NP (D the;{the})
                                          (N University;{university}))))
          (PUNC .))
  (ID 237_a_wilde_1_1888))