139_a_wilde_1_1888
He is trying to finish a play for the Director of the Theatre, but he is too cold to write any more.

%3 r_0139_0002__is is r_0139_0003__trying trying r_0139_0002__is->r_0139_0003__trying [scope] r_0139_0001__He He r_0139_0003__trying->r_0139_0001__He [arg0] r_0139_0004__to_r_0139_0005__finish to finish r_0139_0003__trying->r_0139_0004__to_r_0139_0005__finish [clr] r_0139_0004__to_r_0139_0005__finish->r_0139_0001__He [arg0] r_0139_0006__a_r_0139_0007__play a play r_0139_0004__to_r_0139_0005__finish->r_0139_0006__a_r_0139_0007__play [arg1] r_0139_0009__the_r_0139_0010__Director the Director r_0139_0004__to_r_0139_0005__finish->r_0139_0009__the_r_0139_0010__Director for [nim] r_0139_0012__the_r_0139_0013__Theatre the Theatre r_0139_0009__the_r_0139_0010__Director->r_0139_0012__the_r_0139_0013__Theatre of r_0139_0015__but but r_0139_0015__but->r_0139_0002__is [conj1] r_0139_0017__is is r_0139_0015__but->r_0139_0017__is [conj2] r_0139_0016__he he r_0139_0017__is->r_0139_0016__he [arg0] r_0139_0019__cold cold r_0139_0017__is->r_0139_0019__cold [prd] r_0139_0018__too too r_0139_0019__cold->r_0139_0018__too [qual] r_0139_0020__to_r_0139_0021__write to write r_0139_0018__too->r_0139_0020__to_r_0139_0021__write [emb] r_0139_0022__any any r_0139_0020__to_r_0139_0021__write->r_0139_0022__any [arg1] z_000_139_a_wilde_1_1888_57 r_0139_0020__to_r_0139_0021__write->z_000_139_a_wilde_1_1888_57 [arg0] r_0139_0023__more more r_0139_0022__any->r_0139_0023__more [attrib]
arc(r_0139_0002__is, r_0139_0003__trying, scope).
arc(r_0139_0003__trying, r_0139_0001__He, arg0).
arc(r_0139_0003__trying, r_0139_0004__to_r_0139_0005__finish, clr12).
arc(r_0139_0004__to_r_0139_0005__finish, r_0139_0001__He, arg0).
arc(r_0139_0004__to_r_0139_0005__finish, r_0139_0006__a_r_0139_0007__play, arg1).
arc(r_0139_0004__to_r_0139_0005__finish, r_0139_0009__the_r_0139_0010__Director, r_0139_0008__for_nim25).
arc(r_0139_0009__the_r_0139_0010__Director, r_0139_0012__the_r_0139_0013__Theatre, r_0139_0011__of).
arc(r_0139_0015__but, r_0139_0002__is, conj1).
arc(r_0139_0015__but, r_0139_0017__is, conj2).
arc(r_0139_0017__is, r_0139_0016__he, arg0).
arc(r_0139_0017__is, r_0139_0019__cold, prd).
arc(r_0139_0018__too, r_0139_0020__to_r_0139_0021__write, emb57).
arc(r_0139_0019__cold, r_0139_0018__too, qual50).
arc(r_0139_0020__to_r_0139_0021__write, r_0139_0022__any, arg1).
arc(r_0139_0020__to_r_0139_0021__write, z_000_139_a_wilde_1_1888_57, arg0).
arc(r_0139_0022__any, r_0139_0023__more, attrib65).



%3 r_0139_0002__is_r_0139_0003__trying is trying r_0139_0001__He He r_0139_0002__is_r_0139_0003__trying->r_0139_0001__He [arg0] r_0139_0004__to_r_0139_0005__finish to finish r_0139_0002__is_r_0139_0003__trying->r_0139_0004__to_r_0139_0005__finish [clr] r_0139_0004__to_r_0139_0005__finish->r_0139_0001__He [arg0] r_0139_0006__a_r_0139_0007__play a play r_0139_0004__to_r_0139_0005__finish->r_0139_0006__a_r_0139_0007__play [arg1] r_0139_0009__the_r_0139_0010__Director the Director r_0139_0004__to_r_0139_0005__finish->r_0139_0009__the_r_0139_0010__Director for [nim] r_0139_0012__the_r_0139_0013__Theatre the Theatre r_0139_0009__the_r_0139_0010__Director->r_0139_0012__the_r_0139_0013__Theatre of r_0139_0015__but but r_0139_0015__but->r_0139_0002__is_r_0139_0003__trying [conj1] r_0139_0017__is is r_0139_0015__but->r_0139_0017__is [conj2] r_0139_0016__he he r_0139_0017__is->r_0139_0016__he [arg0] r_0139_0019__cold cold r_0139_0017__is->r_0139_0019__cold [prd] r_0139_0018__too too r_0139_0019__cold->r_0139_0018__too [qual] r_0139_0020__to_r_0139_0021__write to write r_0139_0018__too->r_0139_0020__to_r_0139_0021__write [emb] r_0139_0022__any any r_0139_0020__to_r_0139_0021__write->r_0139_0022__any [arg1] z_000_139_a_wilde_1_1888_57 r_0139_0020__to_r_0139_0021__write->z_000_139_a_wilde_1_1888_57 [arg0] r_0139_0023__more more r_0139_0022__any->r_0139_0023__more [attrib]
fof(formula,axiom,
    ? [R_139_15_BUT,R_139_2_IS_TRYING,R_139_4_TO_FINISH,R_139_1_HE,R_139_6_A_PLAY,R_139_9_THE_DIRECTOR,R_139_12_THE_THEATRE,R_139_17_IS,R_139_16_HE,R_139_19_COLD,R_139_18_TOO,R_139_20_TO_WRITE,Z_139_A_WILDE_1_1888_57,R_139_22_ANY,R_139_23_MORE] :
      ( he(R_139_1_HE)
      & a_play(R_139_6_A_PLAY)
      & the_Theatre(R_139_12_THE_THEATRE)
      & he(R_139_16_HE)
      & more(R_139_23_MORE)
      & but(R_139_15_BUT)
      & conj1(R_139_15_BUT,R_139_2_IS_TRYING)
      & is_trying(R_139_2_IS_TRYING,R_139_1_HE)
      & clr12(R_139_2_IS_TRYING,R_139_4_TO_FINISH)
      & to_finish(R_139_4_TO_FINISH,R_139_1_HE,R_139_6_A_PLAY)
      & for_nim25(R_139_4_TO_FINISH,R_139_9_THE_DIRECTOR)
      & the_Director(R_139_9_THE_DIRECTOR)
      & of(R_139_9_THE_DIRECTOR,R_139_12_THE_THEATRE)
      & conj2(R_139_15_BUT,R_139_17_IS)
      & is(R_139_17_IS,R_139_16_HE,R_139_19_COLD)
      & cold(R_139_19_COLD)
      & qual50(R_139_19_COLD,R_139_18_TOO)
      & too(R_139_18_TOO)
      & emb57(R_139_18_TOO,R_139_20_TO_WRITE)
      & to_write(R_139_20_TO_WRITE,Z_139_A_WILDE_1_1888_57,R_139_22_ANY)
      & any(R_139_22_ANY)
      & attrib65(R_139_22_ANY,R_139_23_MORE) ) ).



n139_a_wilde_1_1888 n139_a_wilde_1_1888_6 He n139_a_wilde_1_1888_8 is n139_a_wilde_1_1888_11 trying n139_a_wilde_1_1888_14 to n139_a_wilde_1_1888_16 finish n139_a_wilde_1_1888_19 a n139_a_wilde_1_1888_21 play n139_a_wilde_1_1888_24 for n139_a_wilde_1_1888_27 the n139_a_wilde_1_1888_29 Director n139_a_wilde_1_1888_32 of n139_a_wilde_1_1888_35 the n139_a_wilde_1_1888_37 Theatre n139_a_wilde_1_1888_39 , n139_a_wilde_1_1888_42 but n139_a_wilde_1_1888_46 he n139_a_wilde_1_1888_48 is n139_a_wilde_1_1888_52 too n139_a_wilde_1_1888_54 *ICH*-147 n139_a_wilde_1_1888_56 cold n139_a_wilde_1_1888_59 to n139_a_wilde_1_1888_61 write n139_a_wilde_1_1888_64 any n139_a_wilde_1_1888_67 more n139_a_wilde_1_1888_69 . n139_a_wilde_1_1888_1 IP-MAT n139_a_wilde_1_1888_2 ILYR n139_a_wilde_1_1888_1->n139_a_wilde_1_1888_2 n139_a_wilde_1_1888_68 PUNC n139_a_wilde_1_1888_1->n139_a_wilde_1_1888_68 n139_a_wilde_1_1888_3 ILYR n139_a_wilde_1_1888_2->n139_a_wilde_1_1888_3 n139_a_wilde_1_1888_38 PUNC n139_a_wilde_1_1888_2->n139_a_wilde_1_1888_38 n139_a_wilde_1_1888_40 CONJP n139_a_wilde_1_1888_2->n139_a_wilde_1_1888_40 n139_a_wilde_1_1888_4 NP-SBJ n139_a_wilde_1_1888_3->n139_a_wilde_1_1888_4 n139_a_wilde_1_1888_7 BEP;_cat_Vg_ n139_a_wilde_1_1888_3->n139_a_wilde_1_1888_7 n139_a_wilde_1_1888_9 IP-PPL-CAT n139_a_wilde_1_1888_3->n139_a_wilde_1_1888_9 n139_a_wilde_1_1888_5 PRO n139_a_wilde_1_1888_4->n139_a_wilde_1_1888_5 n139_a_wilde_1_1888_5->n139_a_wilde_1_1888_6 n139_a_wilde_1_1888_7->n139_a_wilde_1_1888_8 n139_a_wilde_1_1888_10 VAG;_It_ n139_a_wilde_1_1888_9->n139_a_wilde_1_1888_10 n139_a_wilde_1_1888_12 IP-INF-CLR n139_a_wilde_1_1888_9->n139_a_wilde_1_1888_12 n139_a_wilde_1_1888_10->n139_a_wilde_1_1888_11 n139_a_wilde_1_1888_13 TO n139_a_wilde_1_1888_12->n139_a_wilde_1_1888_13 n139_a_wilde_1_1888_15 VB;_Tn_ n139_a_wilde_1_1888_12->n139_a_wilde_1_1888_15 n139_a_wilde_1_1888_17 NP-OB1 n139_a_wilde_1_1888_12->n139_a_wilde_1_1888_17 n139_a_wilde_1_1888_22 PP-NIM n139_a_wilde_1_1888_12->n139_a_wilde_1_1888_22 n139_a_wilde_1_1888_13->n139_a_wilde_1_1888_14 n139_a_wilde_1_1888_15->n139_a_wilde_1_1888_16 n139_a_wilde_1_1888_18 D n139_a_wilde_1_1888_17->n139_a_wilde_1_1888_18 n139_a_wilde_1_1888_20 N n139_a_wilde_1_1888_17->n139_a_wilde_1_1888_20 n139_a_wilde_1_1888_18->n139_a_wilde_1_1888_19 n139_a_wilde_1_1888_20->n139_a_wilde_1_1888_21 n139_a_wilde_1_1888_23 P-ROLE n139_a_wilde_1_1888_22->n139_a_wilde_1_1888_23 n139_a_wilde_1_1888_25 NP n139_a_wilde_1_1888_22->n139_a_wilde_1_1888_25 n139_a_wilde_1_1888_23->n139_a_wilde_1_1888_24 n139_a_wilde_1_1888_26 D n139_a_wilde_1_1888_25->n139_a_wilde_1_1888_26 n139_a_wilde_1_1888_28 N n139_a_wilde_1_1888_25->n139_a_wilde_1_1888_28 n139_a_wilde_1_1888_30 PP n139_a_wilde_1_1888_25->n139_a_wilde_1_1888_30 n139_a_wilde_1_1888_26->n139_a_wilde_1_1888_27 n139_a_wilde_1_1888_28->n139_a_wilde_1_1888_29 n139_a_wilde_1_1888_31 P-ROLE n139_a_wilde_1_1888_30->n139_a_wilde_1_1888_31 n139_a_wilde_1_1888_33 NP n139_a_wilde_1_1888_30->n139_a_wilde_1_1888_33 n139_a_wilde_1_1888_31->n139_a_wilde_1_1888_32 n139_a_wilde_1_1888_34 D n139_a_wilde_1_1888_33->n139_a_wilde_1_1888_34 n139_a_wilde_1_1888_36 N n139_a_wilde_1_1888_33->n139_a_wilde_1_1888_36 n139_a_wilde_1_1888_34->n139_a_wilde_1_1888_35 n139_a_wilde_1_1888_36->n139_a_wilde_1_1888_37 n139_a_wilde_1_1888_38->n139_a_wilde_1_1888_39 n139_a_wilde_1_1888_41 CONJ n139_a_wilde_1_1888_40->n139_a_wilde_1_1888_41 n139_a_wilde_1_1888_43 ILYR n139_a_wilde_1_1888_40->n139_a_wilde_1_1888_43 n139_a_wilde_1_1888_41->n139_a_wilde_1_1888_42 n139_a_wilde_1_1888_44 NP-SBJ n139_a_wilde_1_1888_43->n139_a_wilde_1_1888_44 n139_a_wilde_1_1888_47 BEP;_La_ n139_a_wilde_1_1888_43->n139_a_wilde_1_1888_47 n139_a_wilde_1_1888_49 ADJP-PRD n139_a_wilde_1_1888_43->n139_a_wilde_1_1888_49 n139_a_wilde_1_1888_45 PRO n139_a_wilde_1_1888_44->n139_a_wilde_1_1888_45 n139_a_wilde_1_1888_45->n139_a_wilde_1_1888_46 n139_a_wilde_1_1888_47->n139_a_wilde_1_1888_48 n139_a_wilde_1_1888_50 ADVP n139_a_wilde_1_1888_49->n139_a_wilde_1_1888_50 n139_a_wilde_1_1888_55 ADJ n139_a_wilde_1_1888_49->n139_a_wilde_1_1888_55 n139_a_wilde_1_1888_57 IP-INF-EPD-147 n139_a_wilde_1_1888_49->n139_a_wilde_1_1888_57 n139_a_wilde_1_1888_51 ADV n139_a_wilde_1_1888_50->n139_a_wilde_1_1888_51 n139_a_wilde_1_1888_53 IP-INF n139_a_wilde_1_1888_50->n139_a_wilde_1_1888_53 n139_a_wilde_1_1888_51->n139_a_wilde_1_1888_52 n139_a_wilde_1_1888_53->n139_a_wilde_1_1888_54 n139_a_wilde_1_1888_55->n139_a_wilde_1_1888_56 n139_a_wilde_1_1888_58 TO n139_a_wilde_1_1888_57->n139_a_wilde_1_1888_58 n139_a_wilde_1_1888_60 VB;_Tn_ n139_a_wilde_1_1888_57->n139_a_wilde_1_1888_60 n139_a_wilde_1_1888_62 NP-OB1 n139_a_wilde_1_1888_57->n139_a_wilde_1_1888_62 n139_a_wilde_1_1888_58->n139_a_wilde_1_1888_59 n139_a_wilde_1_1888_60->n139_a_wilde_1_1888_61 n139_a_wilde_1_1888_63 D;_nphd_ n139_a_wilde_1_1888_62->n139_a_wilde_1_1888_63 n139_a_wilde_1_1888_65 ADJP n139_a_wilde_1_1888_62->n139_a_wilde_1_1888_65 n139_a_wilde_1_1888_63->n139_a_wilde_1_1888_64 n139_a_wilde_1_1888_66 ADJR n139_a_wilde_1_1888_65->n139_a_wilde_1_1888_66 n139_a_wilde_1_1888_66->n139_a_wilde_1_1888_67 n139_a_wilde_1_1888_68->n139_a_wilde_1_1888_69
( (IP-MAT (ILYR (ILYR (NP-SBJ;{WRITER} (PRO He;{he}))
                      (BEP;_cat_Vg_ is;{be})
                      (IP-PPL-CAT (VAG;_It_ trying;{try})
                                  (IP-INF-CLR (TO to;{to})
                                              (VB;_Tn_ finish;{finish})
                                              (NP-OB1 (D a;{a})
                                                      (N play;{play}))
                                              (PP-NIM (P-ROLE for;{for})
                                                      (NP (D the;{the})
                                                          (N Director;{director})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (D the;{the})
                                                                  (N Theatre;{theatre}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{WRITER} (PRO he;{he}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADVP (ADV too;{too})
                                             (IP-INF *ICH*-147))
                                       (ADJ cold;{cold})
                                       (IP-INF-EPD-147 (TO to;{to})
                                                       (VB;_Tn_ write;{write})
                                                       (NP-OB1 (D;_nphd_ any;{any})
                                                               (ADJP (ADJR more;{more}))))))))
          (PUNC .))
  (ID 139_a_wilde_1_1888))