8_a_kyoto_2
The central figure around that time was Enshou FUKETSU.
arc(r_0008_0001__The_r_0008_0003__figure, r_0008_0002__central, attrib5).
arc(r_0008_0001__The_r_0008_0003__figure, r_0008_0005__that_r_0008_0006__time, r_0008_0004__around).
arc(r_0008_0007__was, r_0008_0001__The_r_0008_0003__figure, arg0).
arc(r_0008_0007__was, r_0008_0008__Enshou_r_0008_0009__FUKETSU, prd).
fof(formula,axiom,
? [R_8_7_WAS,R_8_1_THE_FIGURE,R_8_2_CENTRAL,R_8_5_THAT_TIME,R_8_8_ENSHOU_FUKETSU] :
( central(R_8_2_CENTRAL)
& that_time(R_8_5_THAT_TIME)
& enshou_FUKETSU(R_8_8_ENSHOU_FUKETSU)
& was(R_8_7_WAS,R_8_1_THE_FIGURE,R_8_8_ENSHOU_FUKETSU)
& the_figure(R_8_1_THE_FIGURE)
& attrib5(R_8_1_THE_FIGURE,R_8_2_CENTRAL)
& around(R_8_1_THE_FIGURE,R_8_5_THAT_TIME) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ central;{central}))
(N figure;{figure})
(PP (P-ROLE around;{around})
(NP (D that;{that})
(N time;{time}))))
(BED;_Ln_ was;{be})
(NP-PRD (NPR Enshou;{Enshou})
(NPR FUKETSU;{Fuketsu}))
(PUNC .))
(ID 8_a_kyoto_2;BDS_00002;8))