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_0237_0008__HE,Z_000_237_A_WILDE_1_1888_31,R_0237_0011__LONGER,R_0237_0012__USEFUL,R_0237_0009__IS,R_0237_0002__AS,UTTERANCE_237_A_WILDE_1_1888_4,R_0237_0020__THE_R_0237_0021__UNIVERSITY,R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR,R_0237_0015__SAID] :
      ( r_0237_0008__he(R_0237_0008__HE)
      & r_0237_0020__the_r_0237_0021__University(R_0237_0020__THE_R_0237_0021__UNIVERSITY)
      & z_000_237_a_wilde_1_1888_31(Z_000_237_A_WILDE_1_1888_31)
      & r_0237_0015__said(R_0237_0015__SAID)
      & has_arg0(R_0237_0015__SAID,R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR)
      & r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor(R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR)
      & has_r_0237_0019__at(R_0237_0016__THE_R_0237_0017__ART_R_0237_0018__PROFESSOR,R_0237_0020__THE_R_0237_0021__UNIVERSITY)
      & has_arg1(R_0237_0015__SAID,UTTERANCE_237_A_WILDE_1_1888_4)
      & utterance_237_a_wilde_1_1888_4(UTTERANCE_237_A_WILDE_1_1888_4)
      & has_part1(UTTERANCE_237_A_WILDE_1_1888_4,R_0237_0002__AS)
      & r_0237_0002__As(R_0237_0002__AS)
      & has_conj2(R_0237_0002__AS,R_0237_0009__IS)
      & r_0237_0009__is(R_0237_0009__IS)
      & has_prd(R_0237_0009__IS,R_0237_0012__USEFUL)
      & r_0237_0012__useful(R_0237_0012__USEFUL)
      & has_qual30(R_0237_0012__USEFUL,R_0237_0011__LONGER)
      & r_0237_0011__longer(R_0237_0011__LONGER)
      & has_nim31(R_0237_0011__LONGER,Z_000_237_A_WILDE_1_1888_31)
      & has_arg0(R_0237_0009__IS,R_0237_0008__HE)
      & ! [Z_000_237_A_WILDE_1_1888_17] :
          ( z_000_237_a_wilde_1_1888_17(Z_000_237_A_WILDE_1_1888_17)
         => ? [R_0237_0003__HE,R_0237_0006__LONGER,R_0237_0007__BEAUTIFUL,R_0237_0004__IS] :
              ( r_0237_0003__he(R_0237_0003__HE)
              & r_0237_0004__is(R_0237_0004__IS)
              & has_prd(R_0237_0004__IS,R_0237_0007__BEAUTIFUL)
              & r_0237_0007__beautiful(R_0237_0007__BEAUTIFUL)
              & has_qual16(R_0237_0007__BEAUTIFUL,R_0237_0006__LONGER)
              & r_0237_0006__longer(R_0237_0006__LONGER)
              & has_nim17(R_0237_0006__LONGER,Z_000_237_A_WILDE_1_1888_17)
              & has_arg0(R_0237_0004__IS,R_0237_0003__HE) ) )
      & ( z_000_237_a_wilde_1_1888_31(Z_000_237_A_WILDE_1_1888_31)
       => r_0237_0009__is(R_0237_0009__IS) ) ) ).


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))