TSPC 9_a_hardy

9_a_hardy_1883
But, in the present case, such a kind of shelter had been disregarded.

( (IP-MAT (CONJ;_cl_ But;{but})
          (PUNC ,)
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (ADJP (ADJ present;{present}))
                      (N case;{case})))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ;_such_ such;{such}))
                  (D a;{a})
                  (N kind;{kind})
                  (PP (P-ROLE of;{of})
                      (NP (N shelter;{shelter}))))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ disregarded;{disregard})))
          (PUNC .))
  (ID 9_a_hardy_1883))

arc(r_0009_0004__the_r_0009_0006__case,r_0009_0005__present,attrib).
arc(r_0009_0009__a_r_0009_0010__kind,r_0009_0008__such,attrib).
arc(r_0009_0009__a_r_0009_0010__kind,r_0009_0012__shelter,r_0009_0011__of).
arc(r_0009_0013__had,r_0009_0004__the_r_0009_0006__case,r_0009_0003__in__nim).
arc(r_0009_0013__had,r_0009_0014__been,scope).
arc(r_0009_0014__been,r_0009_0015__disregarded,scope).
arc(r_0009_0015__disregarded,r_0009_0009__a_r_0009_0010__kind,arg1).
arc(r_0009_0015__disregarded,z_0009_5008___star_,arg0).

fof(formula,axiom,
    ? [R_0009_0005__PRESENT,R_0009_0004__THE_R_0009_0006__CASE,R_0009_0008__SUCH,R_0009_0012__SHELTER,R_0009_0009__A_R_0009_0010__KIND,Z_0009_5008___STAR_,R_0009_0013__HAD_R_0009_0014__BEEN_R_0009_0015__DISREGARDED] :
      ( r_0009_0005__present(R_0009_0005__PRESENT)
      & r_0009_0008__such(R_0009_0008__SUCH)
      & r_0009_0012__shelter(R_0009_0012__SHELTER)
      & z_0009_5008___star_(Z_0009_5008___STAR_)
      & r_0009_0013__had_r_0009_0014__been_r_0009_0015__disregarded(R_0009_0013__HAD_R_0009_0014__BEEN_R_0009_0015__DISREGARDED)
      & has_arg0(R_0009_0013__HAD_R_0009_0014__BEEN_R_0009_0015__DISREGARDED,Z_0009_5008___STAR_)
      & has_arg1(R_0009_0013__HAD_R_0009_0014__BEEN_R_0009_0015__DISREGARDED,R_0009_0009__A_R_0009_0010__KIND)
      & r_0009_0009__a_r_0009_0010__kind(R_0009_0009__A_R_0009_0010__KIND)
      & has_r_0009_0011__of(R_0009_0009__A_R_0009_0010__KIND,R_0009_0012__SHELTER)
      & has_attrib(R_0009_0009__A_R_0009_0010__KIND,R_0009_0008__SUCH)
      & has_r_0009_0003__in__nim(R_0009_0013__HAD_R_0009_0014__BEEN_R_0009_0015__DISREGARDED,R_0009_0004__THE_R_0009_0006__CASE)
      & r_0009_0004__the_r_0009_0006__case(R_0009_0004__THE_R_0009_0006__CASE)
      & has_attrib(R_0009_0004__THE_R_0009_0006__CASE,R_0009_0005__PRESENT) ) ).