TSPC 10_a_hardy

10_a_hardy_1883
Higher Crowstairs, as the house was called, stood quite detached and undefended.

( (IP-MAT (NP-SBJ;{HCS} (NPR Higher;{high})
                        (NPR Crowstairs;{Crowstairs})
                        (PUNC ,)
                        (IP-REL (NP-123 (RPRO as;{as}))
                                (NP-SBJ (D the;{the})
                                        (N house;{house}))
                                (BED;_cat_VePASS_ was;{be})
                                (IP-PPL-CAT (NP-LGS *)
                                            (VVN;_Cn.n_ called;{call})
                                            (NP-PRD *ICH*-123))))
          (PUNC ,)
          (VBD;_La_ stood;{stand})
          (ADJP-PRD (ADVP (ADV quite;{quite}))
                    (AJLYR (AJLYR (ADJ detached;{detached}))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ undefended;{undefended})))))
          (PUNC .))
  (ID 10_a_hardy_1883))

arc(r_0010_0007__was,r_0010_0008__called,scope).
arc(r_0010_0008__called,r_0010_0001__Higher_r_0010_0002__Crowstairs,prd).
arc(r_0010_0008__called,r_0010_0005__the_r_0010_0006__house,arg1).
arc(r_0010_0008__called,z_0010_5003___star_,arg0).
arc(r_0010_0010__stood,r_0010_0001__Higher_r_0010_0002__Crowstairs,arg0).
arc(r_0010_0010__stood,r_0010_0013__and,prd).
arc(r_0010_0013__and,r_0010_0011__quite,qual).
arc(r_0010_0013__and,r_0010_0012__detached,conj1).
arc(r_0010_0013__and,r_0010_0014__undefended,conj2).

fof(formula,axiom,
    ? [R_0010_0001__HIGHER_R_0010_0002__CROWSTAIRS,R_0010_0005__THE_R_0010_0006__HOUSE,Z_0010_5003___STAR_,R_0010_0007__WAS_R_0010_0008__CALLED,R_0010_0011__QUITE,R_0010_0012__DETACHED,R_0010_0014__UNDEFENDED,R_0010_0013__AND,R_0010_0010__STOOD] :
      ( r_0010_0001__Higher_r_0010_0002__Crowstairs(R_0010_0001__HIGHER_R_0010_0002__CROWSTAIRS)
      & r_0010_0005__the_r_0010_0006__house(R_0010_0005__THE_R_0010_0006__HOUSE)
      & r_0010_0011__quite(R_0010_0011__QUITE)
      & r_0010_0012__detached(R_0010_0012__DETACHED)
      & r_0010_0014__undefended(R_0010_0014__UNDEFENDED)
      & z_0010_5003___star_(Z_0010_5003___STAR_)
      & r_0010_0010__stood(R_0010_0010__STOOD)
      & has_prd(R_0010_0010__STOOD,R_0010_0013__AND)
      & r_0010_0013__and(R_0010_0013__AND)
      & has_conj2(R_0010_0013__AND,R_0010_0014__UNDEFENDED)
      & has_conj1(R_0010_0013__AND,R_0010_0012__DETACHED)
      & has_qual(R_0010_0013__AND,R_0010_0011__QUITE)
      & has_arg0(R_0010_0010__STOOD,R_0010_0001__HIGHER_R_0010_0002__CROWSTAIRS)
      & r_0010_0007__was_r_0010_0008__called(R_0010_0007__WAS_R_0010_0008__CALLED)
      & has_arg0(R_0010_0007__WAS_R_0010_0008__CALLED,Z_0010_5003___STAR_)
      & has_arg1(R_0010_0007__WAS_R_0010_0008__CALLED,R_0010_0005__THE_R_0010_0006__HOUSE)
      & has_prd(R_0010_0007__WAS_R_0010_0008__CALLED,R_0010_0001__HIGHER_R_0010_0002__CROWSTAIRS) ) ).