9_a_hardy_1883
But, in the present case, such a kind of shelter had been disregarded.
arc(r_0009_0001__But_r_0009_0013__had, r_0009_0004__the_r_0009_0006__case, r_0009_0003__in_nim9).
arc(r_0009_0001__But_r_0009_0013__had, r_0009_0014__been, scope).
arc(r_0009_0004__the_r_0009_0006__case, r_0009_0005__present, attrib12).
arc(r_0009_0009__a_r_0009_0010__kind, r_0009_0008__such, attrib20).
arc(r_0009_0009__a_r_0009_0010__kind, r_0009_0012__shelter, r_0009_0011__of).
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_000_9_a_hardy_1883_39, arg0).
fof(formula,axiom,
? [R_9_1_BUT_HAD_BEEN_DISREGARDED,Z_9_A_HARDY_1883_39,R_9_9_A_KIND,R_9_8_SUCH,R_9_12_SHELTER,R_9_4_THE_CASE,R_9_5_PRESENT] :
( such(R_9_8_SUCH)
& shelter(R_9_12_SHELTER)
& present(R_9_5_PRESENT)
& but_had_been_disregarded(R_9_1_BUT_HAD_BEEN_DISREGARDED,Z_9_A_HARDY_1883_39,R_9_9_A_KIND)
& a_kind(R_9_9_A_KIND)
& attrib20(R_9_9_A_KIND,R_9_8_SUCH)
& of(R_9_9_A_KIND,R_9_12_SHELTER)
& in_nim9(R_9_1_BUT_HAD_BEEN_DISREGARDED,R_9_4_THE_CASE)
& the_case(R_9_4_THE_CASE)
& attrib12(R_9_4_THE_CASE,R_9_5_PRESENT) ) ).
( (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))