TSPC 79_a_wilde_2

79_a_wilde_2_1888
One winter morning he looked out of his window as he was dressing.

( (IP-MAT (NP-NIM (NUM One;{one})
                  (N winter;{winter})
                  (N morning;{morning}))
          (NP-SBJ;{GIANT} (PRO he;{he}))
          (VBD;_Ipr_ looked;{look[out_of]})
          (PP-CLR (P-ROLE out_of;{out_of})
                  (NP (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                      (N window;{window})))
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{GIANT} (PRO he;{he}))
                           (BED;_cat_Vg_ was;{be})
                           (IP-PPL-CAT (VAG;_I_ dressing;{dress}))))
          (PUNC .))
  (ID 79_a_wilde_2_1888))

arc(r_0079_0005__looked_r_0079_0006__out_of,r_0079_0001__One_r_0079_0002__winter_r_0079_0003__morning,nim).
arc(r_0079_0005__looked_r_0079_0006__out_of,r_0079_0004__he,arg0).
arc(r_0079_0005__looked_r_0079_0006__out_of,r_0079_0008__window,arg1).
arc(r_0079_0008__window,r_0079_0004__he,gen).
arc(r_0079_0009__as,r_0079_0005__looked_r_0079_0006__out_of,scope).
arc(r_0079_0009__as,r_0079_0011__was,restriction).
arc(r_0079_0011__was,r_0079_0012__dressing,scope).
arc(r_0079_0012__dressing,r_0079_0004__he,arg0).

fof(formula,axiom,
    ? [R_0079_0001__ONE_R_0079_0002__WINTER_R_0079_0003__MORNING,R_0079_0004__HE,R_0079_0008__WINDOW,R_0079_0005__LOOKED_R_0079_0006__OUT_OF,R_0079_0011__WAS_R_0079_0012__DRESSING,R_0079_0009__AS] :
      ( r_0079_0001__One_r_0079_0002__winter_r_0079_0003__morning(R_0079_0001__ONE_R_0079_0002__WINTER_R_0079_0003__MORNING)
      & r_0079_0004__he(R_0079_0004__HE)
      & r_0079_0009__as(R_0079_0009__AS)
      & has_conj1(R_0079_0009__AS,R_0079_0011__WAS_R_0079_0012__DRESSING)
      & r_0079_0011__was_r_0079_0012__dressing(R_0079_0011__WAS_R_0079_0012__DRESSING)
      & has_arg0(R_0079_0011__WAS_R_0079_0012__DRESSING,R_0079_0004__HE)
      & has_conj2(R_0079_0009__AS,R_0079_0005__LOOKED_R_0079_0006__OUT_OF)
      & r_0079_0005__looked_r_0079_0006__out_of(R_0079_0005__LOOKED_R_0079_0006__OUT_OF)
      & has_arg1(R_0079_0005__LOOKED_R_0079_0006__OUT_OF,R_0079_0008__WINDOW)
      & r_0079_0008__window(R_0079_0008__WINDOW)
      & has_gen(R_0079_0008__WINDOW,R_0079_0004__HE)
      & has_arg0(R_0079_0005__LOOKED_R_0079_0006__OUT_OF,R_0079_0004__HE)
      & has_nim(R_0079_0005__LOOKED_R_0079_0006__OUT_OF,R_0079_0001__ONE_R_0079_0002__WINTER_R_0079_0003__MORNING) ) ).