105_a_kyoto_2
Belonged to the Tofuku-ji sect until 1880.
( (IP-MAT (VBD;__ Belonged;{belong})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(NPR Tofuku_<hyphen>_ji;{Tofuku_ji})
(N sect;{sect})))
(PP-NIM (P-ROLE until;{until})
(NP (NPR 1880)))
(PUNC .))
(ID 105_a_kyoto_2;BDS_00002;104))
arc(r_0105_0001__Belonged,r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect,r_0105_0002__to__clr).
arc(r_0105_0001__Belonged,r_0105_0007__1880,r_0105_0006__until__nim).
arc(r_0105_0001__Belonged,z_0105_5002,arg0).
fof(formula,axiom,
? [R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT,R_0105_0007__1880,Z_0105_5002,R_0105_0001__BELONGED] :
( r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect(R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT)
& r_0105_0007__1880(R_0105_0007__1880)
& z_0105_5002(Z_0105_5002)
& r_0105_0001__Belonged(R_0105_0001__BELONGED)
& has_arg0(R_0105_0001__BELONGED,Z_0105_5002)
& has_r_0105_0006__until__nim(R_0105_0001__BELONGED,R_0105_0007__1880)
& has_r_0105_0002__to__clr(R_0105_0001__BELONGED,R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT) ) ).