TSPC 32_a_wilde_2

32_a_wilde_2_1888
He was dressed in grey, and his breath was like ice.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{HAIL} (PRO He;{he}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ dressed;{dress})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (N grey;{grey})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN;{HAIL} (PRO;_genm_ his;{his}))
                                     (N breath;{breath}))
                             (BED;_Ipr_ was;{be[like]})
                             (PP-CLR (P-ROLE like;{like})
                                     (NP (N ice;{ice}))))))
          (PUNC .))
  (ID 32_a_wilde_2_1888))

arc(r_0032_0002__was,r_0032_0003__dressed,scope).
arc(r_0032_0003__dressed,r_0032_0001__He,arg1).
arc(r_0032_0003__dressed,r_0032_0005__grey,r_0032_0004__in__nim).
arc(r_0032_0003__dressed,z_0032_5003___star_,arg0).
arc(r_0032_0007__and,r_0032_0002__was,conj1).
arc(r_0032_0007__and,r_0032_0010__was_r_0032_0011__like,conj2).
arc(r_0032_0009__breath,r_0032_0001__He,gen).
arc(r_0032_0010__was_r_0032_0011__like,r_0032_0009__breath,arg0).
arc(r_0032_0010__was_r_0032_0011__like,r_0032_0012__ice,arg1).

fof(formula,axiom,
    ? [R_0032_0001__HE,R_0032_0005__GREY,Z_0032_5003___STAR_,R_0032_0002__WAS_R_0032_0003__DRESSED,R_0032_0009__BREATH,R_0032_0012__ICE,R_0032_0010__WAS_R_0032_0011__LIKE,R_0032_0007__AND] :
      ( r_0032_0001__He(R_0032_0001__HE)
      & r_0032_0005__grey(R_0032_0005__GREY)
      & r_0032_0012__ice(R_0032_0012__ICE)
      & z_0032_5003___star_(Z_0032_5003___STAR_)
      & r_0032_0007__and(R_0032_0007__AND)
      & has_conj2(R_0032_0007__AND,R_0032_0010__WAS_R_0032_0011__LIKE)
      & r_0032_0010__was_r_0032_0011__like(R_0032_0010__WAS_R_0032_0011__LIKE)
      & has_arg1(R_0032_0010__WAS_R_0032_0011__LIKE,R_0032_0012__ICE)
      & has_arg0(R_0032_0010__WAS_R_0032_0011__LIKE,R_0032_0009__BREATH)
      & r_0032_0009__breath(R_0032_0009__BREATH)
      & has_gen(R_0032_0009__BREATH,R_0032_0001__HE)
      & has_conj1(R_0032_0007__AND,R_0032_0002__WAS_R_0032_0003__DRESSED)
      & r_0032_0002__was_r_0032_0003__dressed(R_0032_0002__WAS_R_0032_0003__DRESSED)
      & has_arg0(R_0032_0002__WAS_R_0032_0003__DRESSED,Z_0032_5003___STAR_)
      & has_r_0032_0004__in__nim(R_0032_0002__WAS_R_0032_0003__DRESSED,R_0032_0005__GREY)
      & has_arg1(R_0032_0002__WAS_R_0032_0003__DRESSED,R_0032_0001__HE) ) ).