TSPC 12_a_hardy

12_a_hardy_1883
Hence the house was exposed to the elements on all sides.

( (IP-MAT (ADVP-NIM (ADV Hence;{hence}))
          (NP-SBJ;{HCS} (D the;{the})
                        (N house;{house}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ exposed;{expose[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (NS elements;{element})))
                      (PP-NIM (P-ROLE on;{on})
                              (NP (Q all;{all})
                                  (NS sides;{side}))))
          (PUNC .))
  (ID 12_a_hardy_1883))

arc(r_0012_0004__was,r_0012_0001__Hence,nim).
arc(r_0012_0004__was,r_0012_0005__exposed_r_0012_0006__to,scope).
arc(r_0012_0005__exposed_r_0012_0006__to,r_0012_0002__the_r_0012_0003__house,arg1).
arc(r_0012_0005__exposed_r_0012_0006__to,r_0012_0007__the_r_0012_0008__elements,arg2).
arc(r_0012_0005__exposed_r_0012_0006__to,r_0012_0011__sides,r_0012_0009__on__nim).
arc(r_0012_0005__exposed_r_0012_0006__to,z_0012_5007___star_,arg0).
arc(r_0012_0010__all__quant,r_0012_0004__was,scope).
arc(r_0012_0010__all__quant,r_0012_0011__sides,restriction).

fof(formula,axiom,
    ! [R_0012_0011__SIDES] :
      ( r_0012_0011__sides(R_0012_0011__SIDES)
     => ? [R_0012_0001__HENCE,R_0012_0002__THE_R_0012_0003__HOUSE,R_0012_0007__THE_R_0012_0008__ELEMENTS,Z_0012_5007___STAR_,R_0012_0004__WAS_R_0012_0005__EXPOSED_R_0012_0006__TO] :
          ( r_0012_0001__Hence(R_0012_0001__HENCE)
          & r_0012_0002__the_r_0012_0003__house(R_0012_0002__THE_R_0012_0003__HOUSE)
          & r_0012_0007__the_r_0012_0008__elements(R_0012_0007__THE_R_0012_0008__ELEMENTS)
          & z_0012_5007___star_(Z_0012_5007___STAR_)
          & r_0012_0004__was_r_0012_0005__exposed_r_0012_0006__to(R_0012_0004__WAS_R_0012_0005__EXPOSED_R_0012_0006__TO)
          & has_arg0(R_0012_0004__WAS_R_0012_0005__EXPOSED_R_0012_0006__TO,Z_0012_5007___STAR_)
          & has_r_0012_0009__on__nim(R_0012_0004__WAS_R_0012_0005__EXPOSED_R_0012_0006__TO,R_0012_0011__SIDES)
          & has_arg2(R_0012_0004__WAS_R_0012_0005__EXPOSED_R_0012_0006__TO,R_0012_0007__THE_R_0012_0008__ELEMENTS)
          & has_arg1(R_0012_0004__WAS_R_0012_0005__EXPOSED_R_0012_0006__TO,R_0012_0002__THE_R_0012_0003__HOUSE)
          & has_nim(R_0012_0004__WAS_R_0012_0005__EXPOSED_R_0012_0006__TO,R_0012_0001__HENCE) ) ) ).