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 r_0237_0002__As As 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_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] utterance_237_a_wilde_1_1888_4 [utterance] r_0237_0015__said->utterance_237_a_wilde_1_1888_4 [arg1] 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 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, r_0237_0016__the_r_0237_0017__Art_r_0237_0018__Professor, arg0).
arc(r_0237_0015__said, utterance_237_a_wilde_1_1888_4, arg1).
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).
arc(utterance_237_a_wilde_1_1888_4, r_0237_0002__As, part1).


%3 r_0237_0002__As As r_0237_0005__no_quant no [quant] r_0237_0002__As->r_0237_0005__no_quant [conj1] r_0237_0009__is is r_0237_0002__As->r_0237_0009__is [conj2] r_0237_0004__is is r_0237_0005__no_quant->r_0237_0004__is [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_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_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_0006__longer longer r_0237_0007__beautiful->r_0237_0006__longer [qual] 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_0009__is [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_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] utterance_237_a_wilde_1_1888_4 [utterance] r_0237_0015__said->utterance_237_a_wilde_1_1888_4 [arg1] 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 utterance_237_a_wilde_1_1888_4->r_0237_0002__As [part1] 
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_3 <ldquo> n237_a_wilde_1_1888_8 As n237_a_wilde_1_1888_12 he n237_a_wilde_1_1888_14 is n237_a_wilde_1_1888_19 no n237_a_wilde_1_1888_21 longer n237_a_wilde_1_1888_23 beautiful n237_a_wilde_1_1888_26 he n237_a_wilde_1_1888_28 is n237_a_wilde_1_1888_33 no n237_a_wilde_1_1888_35 longer n237_a_wilde_1_1888_37 useful n237_a_wilde_1_1888_39 , n237_a_wilde_1_1888_41 <rdquo> n237_a_wilde_1_1888_43 said n237_a_wilde_1_1888_46 the n237_a_wilde_1_1888_48 Art n237_a_wilde_1_1888_50 Professor n237_a_wilde_1_1888_53 at n237_a_wilde_1_1888_56 the n237_a_wilde_1_1888_58 University n237_a_wilde_1_1888_60 . n237_a_wilde_1_1888_1 IP-MAT n237_a_wilde_1_1888_2 PULQ n237_a_wilde_1_1888_1->n237_a_wilde_1_1888_2 n237_a_wilde_1_1888_4 utterance-OB1 n237_a_wilde_1_1888_1->n237_a_wilde_1_1888_4 n237_a_wilde_1_1888_38 PUNC n237_a_wilde_1_1888_1->n237_a_wilde_1_1888_38 n237_a_wilde_1_1888_40 PURQ n237_a_wilde_1_1888_1->n237_a_wilde_1_1888_40 n237_a_wilde_1_1888_42 VBD;_Tr_ n237_a_wilde_1_1888_1->n237_a_wilde_1_1888_42 n237_a_wilde_1_1888_44 NP-SBJ n237_a_wilde_1_1888_1->n237_a_wilde_1_1888_44 n237_a_wilde_1_1888_59 PUNC n237_a_wilde_1_1888_1->n237_a_wilde_1_1888_59 n237_a_wilde_1_1888_2->n237_a_wilde_1_1888_3 n237_a_wilde_1_1888_5 IP-MAT n237_a_wilde_1_1888_4->n237_a_wilde_1_1888_5 n237_a_wilde_1_1888_6 PP-SCON n237_a_wilde_1_1888_5->n237_a_wilde_1_1888_6 n237_a_wilde_1_1888_24 NP-SBJ n237_a_wilde_1_1888_5->n237_a_wilde_1_1888_24 n237_a_wilde_1_1888_27 BEP;_La_ n237_a_wilde_1_1888_5->n237_a_wilde_1_1888_27 n237_a_wilde_1_1888_29 ADJP-PRD n237_a_wilde_1_1888_5->n237_a_wilde_1_1888_29 n237_a_wilde_1_1888_7 P-CONN n237_a_wilde_1_1888_6->n237_a_wilde_1_1888_7 n237_a_wilde_1_1888_9 IP-ADV n237_a_wilde_1_1888_6->n237_a_wilde_1_1888_9 n237_a_wilde_1_1888_7->n237_a_wilde_1_1888_8 n237_a_wilde_1_1888_10 NP-SBJ n237_a_wilde_1_1888_9->n237_a_wilde_1_1888_10 n237_a_wilde_1_1888_13 BEP;_La_ n237_a_wilde_1_1888_9->n237_a_wilde_1_1888_13 n237_a_wilde_1_1888_15 ADJP-PRD n237_a_wilde_1_1888_9->n237_a_wilde_1_1888_15 n237_a_wilde_1_1888_11 PRO n237_a_wilde_1_1888_10->n237_a_wilde_1_1888_11 n237_a_wilde_1_1888_11->n237_a_wilde_1_1888_12 n237_a_wilde_1_1888_13->n237_a_wilde_1_1888_14 n237_a_wilde_1_1888_16 ADVP n237_a_wilde_1_1888_15->n237_a_wilde_1_1888_16 n237_a_wilde_1_1888_22 ADJ n237_a_wilde_1_1888_15->n237_a_wilde_1_1888_22 n237_a_wilde_1_1888_17 NP n237_a_wilde_1_1888_16->n237_a_wilde_1_1888_17 n237_a_wilde_1_1888_20 ADVR n237_a_wilde_1_1888_16->n237_a_wilde_1_1888_20 n237_a_wilde_1_1888_18 Q;_nphd_ n237_a_wilde_1_1888_17->n237_a_wilde_1_1888_18 n237_a_wilde_1_1888_18->n237_a_wilde_1_1888_19 n237_a_wilde_1_1888_20->n237_a_wilde_1_1888_21 n237_a_wilde_1_1888_22->n237_a_wilde_1_1888_23 n237_a_wilde_1_1888_25 PRO n237_a_wilde_1_1888_24->n237_a_wilde_1_1888_25 n237_a_wilde_1_1888_25->n237_a_wilde_1_1888_26 n237_a_wilde_1_1888_27->n237_a_wilde_1_1888_28 n237_a_wilde_1_1888_30 ADVP n237_a_wilde_1_1888_29->n237_a_wilde_1_1888_30 n237_a_wilde_1_1888_36 ADJ n237_a_wilde_1_1888_29->n237_a_wilde_1_1888_36 n237_a_wilde_1_1888_31 NP n237_a_wilde_1_1888_30->n237_a_wilde_1_1888_31 n237_a_wilde_1_1888_34 ADVR n237_a_wilde_1_1888_30->n237_a_wilde_1_1888_34 n237_a_wilde_1_1888_32 Q;_nphd_ n237_a_wilde_1_1888_31->n237_a_wilde_1_1888_32 n237_a_wilde_1_1888_32->n237_a_wilde_1_1888_33 n237_a_wilde_1_1888_34->n237_a_wilde_1_1888_35 n237_a_wilde_1_1888_36->n237_a_wilde_1_1888_37 n237_a_wilde_1_1888_38->n237_a_wilde_1_1888_39 n237_a_wilde_1_1888_40->n237_a_wilde_1_1888_41 n237_a_wilde_1_1888_42->n237_a_wilde_1_1888_43 n237_a_wilde_1_1888_45 D n237_a_wilde_1_1888_44->n237_a_wilde_1_1888_45 n237_a_wilde_1_1888_47 N n237_a_wilde_1_1888_44->n237_a_wilde_1_1888_47 n237_a_wilde_1_1888_49 N n237_a_wilde_1_1888_44->n237_a_wilde_1_1888_49 n237_a_wilde_1_1888_51 PP n237_a_wilde_1_1888_44->n237_a_wilde_1_1888_51 n237_a_wilde_1_1888_45->n237_a_wilde_1_1888_46 n237_a_wilde_1_1888_47->n237_a_wilde_1_1888_48 n237_a_wilde_1_1888_49->n237_a_wilde_1_1888_50 n237_a_wilde_1_1888_52 P-ROLE n237_a_wilde_1_1888_51->n237_a_wilde_1_1888_52 n237_a_wilde_1_1888_54 NP n237_a_wilde_1_1888_51->n237_a_wilde_1_1888_54 n237_a_wilde_1_1888_52->n237_a_wilde_1_1888_53 n237_a_wilde_1_1888_55 D n237_a_wilde_1_1888_54->n237_a_wilde_1_1888_55 n237_a_wilde_1_1888_57 N n237_a_wilde_1_1888_54->n237_a_wilde_1_1888_57 n237_a_wilde_1_1888_55->n237_a_wilde_1_1888_56 n237_a_wilde_1_1888_57->n237_a_wilde_1_1888_58 n237_a_wilde_1_1888_59->n237_a_wilde_1_1888_60 
( (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))