TSPC 23_a_hardy

23_a_hardy_1883
A glance into the apartment at eight o'clock on this eventful evening would have resulted in the opinion that it was as cosy and comfortable a nook as could be wished for in boisterous weather.

( (IP-MAT (NP-SBJ (D A;{a})
                  (N glance;{glance})
                  (PP (P-ROLE into;{into})
                      (NP;{COTTAGE} (D the;{the})
                                    (N apartment;{apartment})))
                  (PP (P-ROLE at;{at})
                      (NP (NUM eight;{eight})
                          (ADVP (ADV o<apos>clock;{o<apos>clock}))
                          (PP (P-ROLE on;{on})
                              (NP (D this;{this})
                                  (ADJP (ADJ eventful;{eventful}))
                                  (N evening;{evening}))))))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_Ipr_ resulted;{result[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N opinion;{opinion})
                                              (CP-THT (IP-SUB (C that;{that})
                                                              (NP-SBJ;{COTTAGE} (PRO it;{it}))
                                                              (BED;_Ln_ was;{be})
                                                              (NP-PRD (ADJP (ADVP (ADV as;{as}))
                                                                            (AJLYR (AJLYR (ADJ cosy;{cosy}))
                                                                                   (CONJP (CONJ and;{and})
                                                                                          (AJLYR (ADJ comfortable;{comfortable}))))
                                                                            (PP *ICH*-145))
                                                                      (D a;{a})
                                                                      (N nook;{nook}))
                                                              (PP-EPD-145 (P-ROLE as;{as})
                                                                          (NP (IP-REL (NP-SBJ *T*)
                                                                                      (MD;_cat_Vi_ could;{can})
                                                                                      (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                                                  (IP-PPL-CAT (NP-LGS *)
                                                                                                              (VVN;_Ipr_ wished;{wish[for]})
                                                                                                              (PP-CLR (P-ROLE for;{for}))
                                                                                                              (PP-NIM (P-ROLE in;{in})
                                                                                                                      (NP (ADJP (ADJ boisterous;{boisterous}))
                                                                                                                          (N weather;{weather}))))))))))))))
          (PUNC .))
  (ID 23_a_hardy_1883))

arc(r_0023_0001__A_r_0023_0002__glance,r_0023_0004__the_r_0023_0005__apartment,r_0023_0003__into).
arc(r_0023_0001__A_r_0023_0002__glance,r_0023_0007__eight,r_0023_0006__at).
arc(r_0023_0007__eight,r_0023_0008__o_apos_clock,qual).
arc(r_0023_0007__eight,r_0023_0010__this_r_0023_0012__evening,r_0023_0009__on).
arc(r_0023_0010__this_r_0023_0012__evening,r_0023_0011__eventful,attrib).
arc(r_0023_0013__would,r_0023_0014__have,scope).
arc(r_0023_0014__have,r_0023_0015__resulted_r_0023_0016__in,scope).
arc(r_0023_0015__resulted_r_0023_0016__in,r_0023_0001__A_r_0023_0002__glance,arg0).
arc(r_0023_0015__resulted_r_0023_0016__in,r_0023_0017__the_r_0023_0018__opinion,arg1).
arc(r_0023_0017__the_r_0023_0018__opinion,r_0023_0021__was,emb).
arc(r_0023_0021__was,r_0023_0004__the_r_0023_0005__apartment,arg0).
arc(r_0023_0021__was,r_0023_0026__a_r_0023_0027__nook,prd).
arc(r_0023_0024__and,r_0023_0022__as,qual).
arc(r_0023_0024__and,r_0023_0023__cosy,conj1).
arc(r_0023_0024__and,r_0023_0025__comfortable,conj2).
arc(r_0023_0024__and,z_0023_5021,r_0023_0028__as).
arc(r_0023_0026__a_r_0023_0027__nook,r_0023_0024__and,attrib).
arc(r_0023_0029__could,r_0023_0030__be,scope).
arc(r_0023_0030__be,r_0023_0031__wished_r_0023_0032__for,scope).
arc(r_0023_0031__wished_r_0023_0032__for,r_0023_0035__weather,r_0023_0033__in__nim).
arc(r_0023_0031__wished_r_0023_0032__for,z_0023_5017___star_,arg0).
arc(r_0023_0031__wished_r_0023_0032__for,z_0023_5021,arg1).
arc(r_0023_0035__weather,r_0023_0034__boisterous,attrib).

fof(formula,axiom,
    ? [R_0023_0004__THE_R_0023_0005__APARTMENT,R_0023_0008__O_APOS_CLOCK,R_0023_0011__EVENTFUL,R_0023_0010__THIS_R_0023_0012__EVENING,R_0023_0007__EIGHT,R_0023_0001__A_R_0023_0002__GLANCE,R_0023_0022__AS,R_0023_0023__COSY,R_0023_0025__COMFORTABLE,Z_0023_5021,R_0023_0024__AND,R_0023_0026__A_R_0023_0027__NOOK,R_0023_0021__WAS,R_0023_0017__THE_R_0023_0018__OPINION,R_0023_0013__WOULD_R_0023_0014__HAVE_R_0023_0015__RESULTED_R_0023_0016__IN,R_0023_0034__BOISTEROUS,R_0023_0035__WEATHER,Z_0023_5017___STAR_,R_0023_0029__COULD_R_0023_0030__BE_R_0023_0031__WISHED_R_0023_0032__FOR] :
      ( r_0023_0004__the_r_0023_0005__apartment(R_0023_0004__THE_R_0023_0005__APARTMENT)
      & r_0023_0008__o_apos_clock(R_0023_0008__O_APOS_CLOCK)
      & r_0023_0011__eventful(R_0023_0011__EVENTFUL)
      & r_0023_0022__as(R_0023_0022__AS)
      & r_0023_0023__cosy(R_0023_0023__COSY)
      & r_0023_0025__comfortable(R_0023_0025__COMFORTABLE)
      & r_0023_0034__boisterous(R_0023_0034__BOISTEROUS)
      & z_0023_5017___star_(Z_0023_5017___STAR_)
      & z_0023_5021(Z_0023_5021)
      & r_0023_0029__could_r_0023_0030__be_r_0023_0031__wished_r_0023_0032__for(R_0023_0029__COULD_R_0023_0030__BE_R_0023_0031__WISHED_R_0023_0032__FOR)
      & has_arg1(R_0023_0029__COULD_R_0023_0030__BE_R_0023_0031__WISHED_R_0023_0032__FOR,Z_0023_5021)
      & has_arg0(R_0023_0029__COULD_R_0023_0030__BE_R_0023_0031__WISHED_R_0023_0032__FOR,Z_0023_5017___STAR_)
      & has_r_0023_0033__in__nim(R_0023_0029__COULD_R_0023_0030__BE_R_0023_0031__WISHED_R_0023_0032__FOR,R_0023_0035__WEATHER)
      & r_0023_0035__weather(R_0023_0035__WEATHER)
      & has_attrib(R_0023_0035__WEATHER,R_0023_0034__BOISTEROUS)
      & r_0023_0013__would_r_0023_0014__have_r_0023_0015__resulted_r_0023_0016__in(R_0023_0013__WOULD_R_0023_0014__HAVE_R_0023_0015__RESULTED_R_0023_0016__IN)
      & has_arg1(R_0023_0013__WOULD_R_0023_0014__HAVE_R_0023_0015__RESULTED_R_0023_0016__IN,R_0023_0017__THE_R_0023_0018__OPINION)
      & r_0023_0017__the_r_0023_0018__opinion(R_0023_0017__THE_R_0023_0018__OPINION)
      & has_emb(R_0023_0017__THE_R_0023_0018__OPINION,R_0023_0021__WAS)
      & r_0023_0021__was(R_0023_0021__WAS)
      & has_prd(R_0023_0021__WAS,R_0023_0026__A_R_0023_0027__NOOK)
      & r_0023_0026__a_r_0023_0027__nook(R_0023_0026__A_R_0023_0027__NOOK)
      & has_attrib(R_0023_0026__A_R_0023_0027__NOOK,R_0023_0024__AND)
      & r_0023_0024__and(R_0023_0024__AND)
      & has_r_0023_0028__as(R_0023_0024__AND,Z_0023_5021)
      & has_conj2(R_0023_0024__AND,R_0023_0025__COMFORTABLE)
      & has_conj1(R_0023_0024__AND,R_0023_0023__COSY)
      & has_qual(R_0023_0024__AND,R_0023_0022__AS)
      & has_arg0(R_0023_0021__WAS,R_0023_0004__THE_R_0023_0005__APARTMENT)
      & has_arg0(R_0023_0013__WOULD_R_0023_0014__HAVE_R_0023_0015__RESULTED_R_0023_0016__IN,R_0023_0001__A_R_0023_0002__GLANCE)
      & r_0023_0001__A_r_0023_0002__glance(R_0023_0001__A_R_0023_0002__GLANCE)
      & has_r_0023_0006__at(R_0023_0001__A_R_0023_0002__GLANCE,R_0023_0007__EIGHT)
      & r_0023_0007__eight(R_0023_0007__EIGHT)
      & has_r_0023_0009__on(R_0023_0007__EIGHT,R_0023_0010__THIS_R_0023_0012__EVENING)
      & r_0023_0010__this_r_0023_0012__evening(R_0023_0010__THIS_R_0023_0012__EVENING)
      & has_attrib(R_0023_0010__THIS_R_0023_0012__EVENING,R_0023_0011__EVENTFUL)
      & has_qual(R_0023_0007__EIGHT,R_0023_0008__O_APOS_CLOCK)
      & has_r_0023_0003__into(R_0023_0001__A_R_0023_0002__GLANCE,R_0023_0004__THE_R_0023_0005__APARTMENT) ) ).