22_a_kyoto_1
n22_a_kyoto_1
n22_a_kyoto_1__1_1_1_1_1_1
It
n22_a_kyoto_1__1_1_1_2_1
is
n22_a_kyoto_1__1_1_1_3_1_1
*
n22_a_kyoto_1__1_1_1_3_2_1
thought
n22_a_kyoto_1__1_1_1_3_3_1_1_1
that
n22_a_kyoto_1__1_1_1_3_3_1_2_1_1
until
n22_a_kyoto_1__1_1_1_3_3_1_2_2_1_1
this
n22_a_kyoto_1__1_1_1_3_3_1_2_2_2_1
time
n22_a_kyoto_1__1_1_1_3_3_1_3_1_1
he
n22_a_kyoto_1__1_1_1_3_3_1_4_1
was
n22_a_kyoto_1__1_1_1_3_3_1_5_1_1
*
n22_a_kyoto_1__1_1_1_3_3_1_5_2_1
known
n22_a_kyoto_1__1_1_1_3_3_1_5_3_1_1
as
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_1_1
Touyou
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_2_1
SESSHU
n22_a_kyoto_1__1_1_2_1
,
n22_a_kyoto_1__1_1_3_1_1
but
n22_a_kyoto_1__1_1_3_2_1_1
there
n22_a_kyoto_1__1_1_3_2_2_1
is
n22_a_kyoto_1__1_1_3_2_3_1
not
n22_a_kyoto_1__1_1_3_2_4_1_1
a
n22_a_kyoto_1__1_1_3_2_4_2_1_1
firm
n22_a_kyoto_1__1_1_3_2_4_3_1
source
n22_a_kyoto_1__1_1_3_2_5_1_1
to
n22_a_kyoto_1__1_1_3_2_5_2_1
indicate
n22_a_kyoto_1__1_1_3_2_5_3_1_1_1
that
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1_1_1
SESSHU
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_1_1
and
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2_1_1
Sesshu
n22_a_kyoto_1__1_1_3_2_5_3_1_3_1
were
n22_a_kyoto_1__1_1_3_2_5_3_1_4_1_1
the
n22_a_kyoto_1__1_1_3_2_5_3_1_4_2_1_1
same
n22_a_kyoto_1__1_1_3_2_5_3_1_4_3_1
person
n22_a_kyoto_1__1_2_1
.
n22_a_kyoto_1__1
IP-MAT
n22_a_kyoto_1__1_1
ILYR
n22_a_kyoto_1__1->n22_a_kyoto_1__1_1
n22_a_kyoto_1__1_2
PUNC
n22_a_kyoto_1__1->n22_a_kyoto_1__1_2
n22_a_kyoto_1__1_1_1
ILYR
n22_a_kyoto_1__1_1->n22_a_kyoto_1__1_1_1
n22_a_kyoto_1__1_1_2
PUNC
n22_a_kyoto_1__1_1->n22_a_kyoto_1__1_1_2
n22_a_kyoto_1__1_1_3
CONJP
n22_a_kyoto_1__1_1->n22_a_kyoto_1__1_1_3
n22_a_kyoto_1__1_1_1_1
NP-SBJ
n22_a_kyoto_1__1_1_1->n22_a_kyoto_1__1_1_1_1
n22_a_kyoto_1__1_1_1_2
BEP;_cat_VePASS_
n22_a_kyoto_1__1_1_1->n22_a_kyoto_1__1_1_1_2
n22_a_kyoto_1__1_1_1_3
IP-PPL-CAT
n22_a_kyoto_1__1_1_1->n22_a_kyoto_1__1_1_1_3
n22_a_kyoto_1__1_1_1_1_1
PRO;_provisional_
n22_a_kyoto_1__1_1_1_1->n22_a_kyoto_1__1_1_1_1_1
n22_a_kyoto_1__1_1_1_1_1->n22_a_kyoto_1__1_1_1_1_1_1
n22_a_kyoto_1__1_1_1_2->n22_a_kyoto_1__1_1_1_2_1
n22_a_kyoto_1__1_1_1_3_1
NP-LGS
n22_a_kyoto_1__1_1_1_3->n22_a_kyoto_1__1_1_1_3_1
n22_a_kyoto_1__1_1_1_3_2
VVN;_Tf_
n22_a_kyoto_1__1_1_1_3->n22_a_kyoto_1__1_1_1_3_2
n22_a_kyoto_1__1_1_1_3_3
CP-THT-NSBJ
n22_a_kyoto_1__1_1_1_3->n22_a_kyoto_1__1_1_1_3_3
n22_a_kyoto_1__1_1_1_3_1->n22_a_kyoto_1__1_1_1_3_1_1
n22_a_kyoto_1__1_1_1_3_2->n22_a_kyoto_1__1_1_1_3_2_1
n22_a_kyoto_1__1_1_1_3_3_1
IP-SUB
n22_a_kyoto_1__1_1_1_3_3->n22_a_kyoto_1__1_1_1_3_3_1
n22_a_kyoto_1__1_1_1_3_3_1_1
C
n22_a_kyoto_1__1_1_1_3_3_1->n22_a_kyoto_1__1_1_1_3_3_1_1
n22_a_kyoto_1__1_1_1_3_3_1_2
PP-NIM
n22_a_kyoto_1__1_1_1_3_3_1->n22_a_kyoto_1__1_1_1_3_3_1_2
n22_a_kyoto_1__1_1_1_3_3_1_3
NP-SBJ
n22_a_kyoto_1__1_1_1_3_3_1->n22_a_kyoto_1__1_1_1_3_3_1_3
n22_a_kyoto_1__1_1_1_3_3_1_4
BED;_cat_VePASS_
n22_a_kyoto_1__1_1_1_3_3_1->n22_a_kyoto_1__1_1_1_3_3_1_4
n22_a_kyoto_1__1_1_1_3_3_1_5
IP-PPL-CAT
n22_a_kyoto_1__1_1_1_3_3_1->n22_a_kyoto_1__1_1_1_3_3_1_5
n22_a_kyoto_1__1_1_1_3_3_1_1->n22_a_kyoto_1__1_1_1_3_3_1_1_1
n22_a_kyoto_1__1_1_1_3_3_1_2_1
P-ROLE
n22_a_kyoto_1__1_1_1_3_3_1_2->n22_a_kyoto_1__1_1_1_3_3_1_2_1
n22_a_kyoto_1__1_1_1_3_3_1_2_2
NP
n22_a_kyoto_1__1_1_1_3_3_1_2->n22_a_kyoto_1__1_1_1_3_3_1_2_2
n22_a_kyoto_1__1_1_1_3_3_1_2_1->n22_a_kyoto_1__1_1_1_3_3_1_2_1_1
n22_a_kyoto_1__1_1_1_3_3_1_2_2_1
D
n22_a_kyoto_1__1_1_1_3_3_1_2_2->n22_a_kyoto_1__1_1_1_3_3_1_2_2_1
n22_a_kyoto_1__1_1_1_3_3_1_2_2_2
N
n22_a_kyoto_1__1_1_1_3_3_1_2_2->n22_a_kyoto_1__1_1_1_3_3_1_2_2_2
n22_a_kyoto_1__1_1_1_3_3_1_2_2_1->n22_a_kyoto_1__1_1_1_3_3_1_2_2_1_1
n22_a_kyoto_1__1_1_1_3_3_1_2_2_2->n22_a_kyoto_1__1_1_1_3_3_1_2_2_2_1
n22_a_kyoto_1__1_1_1_3_3_1_3_1
PRO
n22_a_kyoto_1__1_1_1_3_3_1_3->n22_a_kyoto_1__1_1_1_3_3_1_3_1
n22_a_kyoto_1__1_1_1_3_3_1_3_1->n22_a_kyoto_1__1_1_1_3_3_1_3_1_1
n22_a_kyoto_1__1_1_1_3_3_1_4->n22_a_kyoto_1__1_1_1_3_3_1_4_1
n22_a_kyoto_1__1_1_1_3_3_1_5_1
NP-LGS
n22_a_kyoto_1__1_1_1_3_3_1_5->n22_a_kyoto_1__1_1_1_3_3_1_5_1
n22_a_kyoto_1__1_1_1_3_3_1_5_2
VVN;_Cn.n/a_
n22_a_kyoto_1__1_1_1_3_3_1_5->n22_a_kyoto_1__1_1_1_3_3_1_5_2
n22_a_kyoto_1__1_1_1_3_3_1_5_3
PP-PRD
n22_a_kyoto_1__1_1_1_3_3_1_5->n22_a_kyoto_1__1_1_1_3_3_1_5_3
n22_a_kyoto_1__1_1_1_3_3_1_5_1->n22_a_kyoto_1__1_1_1_3_3_1_5_1_1
n22_a_kyoto_1__1_1_1_3_3_1_5_2->n22_a_kyoto_1__1_1_1_3_3_1_5_2_1
n22_a_kyoto_1__1_1_1_3_3_1_5_3_1
P-ROLE
n22_a_kyoto_1__1_1_1_3_3_1_5_3->n22_a_kyoto_1__1_1_1_3_3_1_5_3_1
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2
NP
n22_a_kyoto_1__1_1_1_3_3_1_5_3->n22_a_kyoto_1__1_1_1_3_3_1_5_3_2
n22_a_kyoto_1__1_1_1_3_3_1_5_3_1->n22_a_kyoto_1__1_1_1_3_3_1_5_3_1_1
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_1
NPR
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2->n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_1
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_2
NPR
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2->n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_2
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_1->n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_1_1
n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_2->n22_a_kyoto_1__1_1_1_3_3_1_5_3_2_2_1
n22_a_kyoto_1__1_1_2->n22_a_kyoto_1__1_1_2_1
n22_a_kyoto_1__1_1_3_1
CONJ
n22_a_kyoto_1__1_1_3->n22_a_kyoto_1__1_1_3_1
n22_a_kyoto_1__1_1_3_2
ILYR
n22_a_kyoto_1__1_1_3->n22_a_kyoto_1__1_1_3_2
n22_a_kyoto_1__1_1_3_1->n22_a_kyoto_1__1_1_3_1_1
n22_a_kyoto_1__1_1_3_2_1
EX
n22_a_kyoto_1__1_1_3_2->n22_a_kyoto_1__1_1_3_2_1
n22_a_kyoto_1__1_1_3_2_2
BEP;_ex_cat_Vt_
n22_a_kyoto_1__1_1_3_2->n22_a_kyoto_1__1_1_3_2_2
n22_a_kyoto_1__1_1_3_2_3
NEG
n22_a_kyoto_1__1_1_3_2->n22_a_kyoto_1__1_1_3_2_3
n22_a_kyoto_1__1_1_3_2_4
NP-ESBJ
n22_a_kyoto_1__1_1_3_2->n22_a_kyoto_1__1_1_3_2_4
n22_a_kyoto_1__1_1_3_2_5
IP-INF-CAT
n22_a_kyoto_1__1_1_3_2->n22_a_kyoto_1__1_1_3_2_5
n22_a_kyoto_1__1_1_3_2_1->n22_a_kyoto_1__1_1_3_2_1_1
n22_a_kyoto_1__1_1_3_2_2->n22_a_kyoto_1__1_1_3_2_2_1
n22_a_kyoto_1__1_1_3_2_3->n22_a_kyoto_1__1_1_3_2_3_1
n22_a_kyoto_1__1_1_3_2_4_1
D
n22_a_kyoto_1__1_1_3_2_4->n22_a_kyoto_1__1_1_3_2_4_1
n22_a_kyoto_1__1_1_3_2_4_2
ADJP
n22_a_kyoto_1__1_1_3_2_4->n22_a_kyoto_1__1_1_3_2_4_2
n22_a_kyoto_1__1_1_3_2_4_3
N
n22_a_kyoto_1__1_1_3_2_4->n22_a_kyoto_1__1_1_3_2_4_3
n22_a_kyoto_1__1_1_3_2_4_1->n22_a_kyoto_1__1_1_3_2_4_1_1
n22_a_kyoto_1__1_1_3_2_4_2_1
ADJ
n22_a_kyoto_1__1_1_3_2_4_2->n22_a_kyoto_1__1_1_3_2_4_2_1
n22_a_kyoto_1__1_1_3_2_4_2_1->n22_a_kyoto_1__1_1_3_2_4_2_1_1
n22_a_kyoto_1__1_1_3_2_4_3->n22_a_kyoto_1__1_1_3_2_4_3_1
n22_a_kyoto_1__1_1_3_2_5_1
TO
n22_a_kyoto_1__1_1_3_2_5->n22_a_kyoto_1__1_1_3_2_5_1
n22_a_kyoto_1__1_1_3_2_5_2
VB;_Tf_
n22_a_kyoto_1__1_1_3_2_5->n22_a_kyoto_1__1_1_3_2_5_2
n22_a_kyoto_1__1_1_3_2_5_3
CP-THT-OB1
n22_a_kyoto_1__1_1_3_2_5->n22_a_kyoto_1__1_1_3_2_5_3
n22_a_kyoto_1__1_1_3_2_5_1->n22_a_kyoto_1__1_1_3_2_5_1_1
n22_a_kyoto_1__1_1_3_2_5_2->n22_a_kyoto_1__1_1_3_2_5_2_1
n22_a_kyoto_1__1_1_3_2_5_3_1
IP-SUB
n22_a_kyoto_1__1_1_3_2_5_3->n22_a_kyoto_1__1_1_3_2_5_3_1
n22_a_kyoto_1__1_1_3_2_5_3_1_1
C
n22_a_kyoto_1__1_1_3_2_5_3_1->n22_a_kyoto_1__1_1_3_2_5_3_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2
NP-SBJ
n22_a_kyoto_1__1_1_3_2_5_3_1->n22_a_kyoto_1__1_1_3_2_5_3_1_2
n22_a_kyoto_1__1_1_3_2_5_3_1_3
BED;_Ln_
n22_a_kyoto_1__1_1_3_2_5_3_1->n22_a_kyoto_1__1_1_3_2_5_3_1_3
n22_a_kyoto_1__1_1_3_2_5_3_1_4
NP-PRD
n22_a_kyoto_1__1_1_3_2_5_3_1->n22_a_kyoto_1__1_1_3_2_5_3_1_4
n22_a_kyoto_1__1_1_3_2_5_3_1_1->n22_a_kyoto_1__1_1_3_2_5_3_1_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1
NLYR
n22_a_kyoto_1__1_1_3_2_5_3_1_2->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1
NLYR
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2
CONJP
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1_1
NPR
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1_1->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_1_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_1
CONJ
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2
NLYR
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_1->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2_1
NPR
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2_1
n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2_1->n22_a_kyoto_1__1_1_3_2_5_3_1_2_1_2_2_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_3->n22_a_kyoto_1__1_1_3_2_5_3_1_3_1
n22_a_kyoto_1__1_1_3_2_5_3_1_4_1
D
n22_a_kyoto_1__1_1_3_2_5_3_1_4->n22_a_kyoto_1__1_1_3_2_5_3_1_4_1
n22_a_kyoto_1__1_1_3_2_5_3_1_4_2
ADJP
n22_a_kyoto_1__1_1_3_2_5_3_1_4->n22_a_kyoto_1__1_1_3_2_5_3_1_4_2
n22_a_kyoto_1__1_1_3_2_5_3_1_4_3
N
n22_a_kyoto_1__1_1_3_2_5_3_1_4->n22_a_kyoto_1__1_1_3_2_5_3_1_4_3
n22_a_kyoto_1__1_1_3_2_5_3_1_4_1->n22_a_kyoto_1__1_1_3_2_5_3_1_4_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_4_2_1
ADJ
n22_a_kyoto_1__1_1_3_2_5_3_1_4_2->n22_a_kyoto_1__1_1_3_2_5_3_1_4_2_1
n22_a_kyoto_1__1_1_3_2_5_3_1_4_2_1->n22_a_kyoto_1__1_1_3_2_5_3_1_4_2_1_1
n22_a_kyoto_1__1_1_3_2_5_3_1_4_3->n22_a_kyoto_1__1_1_3_2_5_3_1_4_3_1
n22_a_kyoto_1__1_2->n22_a_kyoto_1__1_2_1
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tf_ thought;{think})
(CP-THT-NSBJ (IP-SUB (C that;{that})
(PP-NIM (P-ROLE until;{until})
(NP (D this;{this})
(N time;{time})))
(NP-SBJ;{SESSHU} (PRO he;{he}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Cn.n/a_ known;{know[as]})
(PP-PRD (P-ROLE as;{as})
(NP (NPR Touyou;{Touyou})
(NPR SESSHU;{Sesshu}))))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (EX there;{there})
(BEP;_ex_cat_Vt_ is;{be})
(NEG not;{not})
(NP-ESBJ (D a;{a})
(ADJP (ADJ firm;{firm}))
(N source;{source}))
(IP-INF-CAT (TO to;{to})
(VB;_Tf_ indicate;{indicate})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (NLYR (NLYR (NPR SESSHU;{Sesshu}))
(CONJP (CONJ and;{and})
(NLYR (NPR Sesshu;{Sesshu})))))
(BED;_Ln_ were;{be})
(NP-PRD (D the;{the})
(ADJP (ADJ same;{same}))
(N person;{person}))))))))
(PUNC .))
(ID 22_a_kyoto_1;BDS_00001;22))
%3
r_0022_0029__the_r_0022_0031__person
the person
r_0022_0030__same
same
r_0022_0029__the_r_0022_0031__person->r_0022_0030__same
[attrib]
r_0022_0028__were
were
r_0022_0028__were->r_0022_0029__the_r_0022_0031__person
[prd]
r_0022_0026__and
and
r_0022_0028__were->r_0022_0026__and
[arg0]
r_0022_0027__Sesshu
Sesshu
r_0022_0026__and->r_0022_0027__Sesshu
[conj2]
r_0022_0025__SESSHU
SESSHU
r_0022_0026__and->r_0022_0025__SESSHU
[conj1]
r_0022_0023__indicate
indicate
r_0022_0023__indicate->r_0022_0028__were
[arg1]
r_0022_0019__a_r_0022_0021__source
a source
r_0022_0023__indicate->r_0022_0019__a_r_0022_0021__source
[arg0]
r_0022_0020__firm
firm
r_0022_0019__a_r_0022_0021__source->r_0022_0020__firm
[attrib]
r_0022_0018__not
not
r_0022_0017__is
is
r_0022_0018__not->r_0022_0017__is
[keep_scope]
r_0022_0017__is->r_0022_0023__indicate
[scope]
r_0022_0015__but
but
r_0022_0015__but->r_0022_0018__not
[conj2]
r_0022_0002__is
is
r_0022_0015__but->r_0022_0002__is
[conj1]
r_0022_0003__thought
thought
r_0022_0002__is->r_0022_0003__thought
[scope]
r_0022_0010__known
known
z_0022_5006___star_
*
r_0022_0010__known->z_0022_5006___star_
[arg0]
r_0022_0012__Touyou_r_0022_0013__SESSHU
Touyou SESSHU
r_0022_0010__known->r_0022_0012__Touyou_r_0022_0013__SESSHU
as [prd]
r_0022_0008__he
he
r_0022_0010__known->r_0022_0008__he
[arg1]
r_0022_0009__was
was
r_0022_0009__was->r_0022_0010__known
[scope]
r_0022_0006__this_r_0022_0007__time
this time
r_0022_0009__was->r_0022_0006__this_r_0022_0007__time
until [nim]
r_0022_0003__thought->r_0022_0009__was
[arg1]
z_0022_5009___star_
*
r_0022_0003__thought->z_0022_5009___star_
[arg0]
arc(r_0022_0002__is,r_0022_0003__thought,scope).
arc(r_0022_0003__thought,r_0022_0009__was,arg1).
arc(r_0022_0003__thought,z_0022_5009___star_,arg0).
arc(r_0022_0009__was,r_0022_0006__this_r_0022_0007__time,r_0022_0005__until__nim).
arc(r_0022_0009__was,r_0022_0010__known,scope).
arc(r_0022_0010__known,r_0022_0008__he,arg1).
arc(r_0022_0010__known,r_0022_0012__Touyou_r_0022_0013__SESSHU,r_0022_0011__as__prd).
arc(r_0022_0010__known,z_0022_5006___star_,arg0).
arc(r_0022_0015__but,r_0022_0002__is,conj1).
arc(r_0022_0015__but,r_0022_0018__not,conj2).
arc(r_0022_0017__is,r_0022_0023__indicate,scope).
arc(r_0022_0018__not,r_0022_0017__is,keep_scope).
arc(r_0022_0019__a_r_0022_0021__source,r_0022_0020__firm,attrib).
arc(r_0022_0023__indicate,r_0022_0019__a_r_0022_0021__source,arg0).
arc(r_0022_0023__indicate,r_0022_0028__were,arg1).
arc(r_0022_0026__and,r_0022_0025__SESSHU,conj1).
arc(r_0022_0026__and,r_0022_0027__Sesshu,conj2).
arc(r_0022_0028__were,r_0022_0026__and,arg0).
arc(r_0022_0028__were,r_0022_0029__the_r_0022_0031__person,prd).
arc(r_0022_0029__the_r_0022_0031__person,r_0022_0030__same,attrib).
%3
r_0022_0002__is_r_0022_0003__thought
is thought
r_0022_0009__was_r_0022_0010__known
was known
r_0022_0002__is_r_0022_0003__thought->r_0022_0009__was_r_0022_0010__known
[arg1]
z_0022_5009___star_
*
r_0022_0002__is_r_0022_0003__thought->z_0022_5009___star_
[arg0]
r_0022_0006__this_r_0022_0007__time
this time
r_0022_0009__was_r_0022_0010__known->r_0022_0006__this_r_0022_0007__time
until [nim]
r_0022_0008__he
he
r_0022_0009__was_r_0022_0010__known->r_0022_0008__he
[arg1]
r_0022_0012__Touyou_r_0022_0013__SESSHU
Touyou SESSHU
r_0022_0009__was_r_0022_0010__known->r_0022_0012__Touyou_r_0022_0013__SESSHU
as [prd]
z_0022_5006___star_
*
r_0022_0009__was_r_0022_0010__known->z_0022_5006___star_
[arg0]
r_0022_0015__but
but
r_0022_0015__but->r_0022_0002__is_r_0022_0003__thought
[conj1]
r_0022_0018__not
not
r_0022_0015__but->r_0022_0018__not
[conj2]
r_0022_0017__is_r_0022_0023__indicate
is indicate
r_0022_0018__not->r_0022_0017__is_r_0022_0023__indicate
[keep_scope]
r_0022_0019__a_r_0022_0021__source
a source
r_0022_0017__is_r_0022_0023__indicate->r_0022_0019__a_r_0022_0021__source
[arg0]
r_0022_0028__were
were
r_0022_0017__is_r_0022_0023__indicate->r_0022_0028__were
[arg1]
r_0022_0020__firm
firm
r_0022_0019__a_r_0022_0021__source->r_0022_0020__firm
[attrib]
r_0022_0026__and
and
r_0022_0028__were->r_0022_0026__and
[arg0]
r_0022_0029__the_r_0022_0031__person
the person
r_0022_0028__were->r_0022_0029__the_r_0022_0031__person
[prd]
r_0022_0025__SESSHU
SESSHU
r_0022_0026__and->r_0022_0025__SESSHU
[conj1]
r_0022_0027__Sesshu
Sesshu
r_0022_0026__and->r_0022_0027__Sesshu
[conj2]
r_0022_0030__same
same
r_0022_0029__the_r_0022_0031__person->r_0022_0030__same
[attrib]
fof(formula,axiom,
? [R_0022_0006__THIS_R_0022_0007__TIME,R_0022_0008__HE,R_0022_0012__TOUYOU_R_0022_0013__SESSHU,Z_0022_5006___STAR_,R_0022_0009__WAS_R_0022_0010__KNOWN,Z_0022_5009___STAR_,R_0022_0002__IS_R_0022_0003__THOUGHT,R_0022_0015__BUT] :
( r_0022_0006__this_r_0022_0007__time(R_0022_0006__THIS_R_0022_0007__TIME)
& r_0022_0008__he(R_0022_0008__HE)
& r_0022_0012__Touyou_r_0022_0013__SESSHU(R_0022_0012__TOUYOU_R_0022_0013__SESSHU)
& z_0022_5006___star_(Z_0022_5006___STAR_)
& z_0022_5009___star_(Z_0022_5009___STAR_)
& r_0022_0015__but(R_0022_0015__BUT)
& has_conj2(R_0022_0015__BUT,R_0022_0018__NOT)
& ~ ? [R_0022_0020__FIRM,R_0022_0019__A_R_0022_0021__SOURCE,R_0022_0025__SESSHU,R_0022_0027__SESSHU,R_0022_0026__AND,R_0022_0030__SAME,R_0022_0029__THE_R_0022_0031__PERSON,R_0022_0028__WERE,R_0022_0017__IS_R_0022_0023__INDICATE] :
( r_0022_0020__firm(R_0022_0020__FIRM)
& r_0022_0025__SESSHU(R_0022_0025__SESSHU)
& r_0022_0027__Sesshu(R_0022_0027__SESSHU)
& r_0022_0030__same(R_0022_0030__SAME)
& r_0022_0017__is_r_0022_0023__indicate(R_0022_0017__IS_R_0022_0023__INDICATE)
& has_arg1(R_0022_0017__IS_R_0022_0023__INDICATE,R_0022_0028__WERE)
& r_0022_0028__were(R_0022_0028__WERE)
& has_prd(R_0022_0028__WERE,R_0022_0029__THE_R_0022_0031__PERSON)
& r_0022_0029__the_r_0022_0031__person(R_0022_0029__THE_R_0022_0031__PERSON)
& has_attrib(R_0022_0029__THE_R_0022_0031__PERSON,R_0022_0030__SAME)
& has_arg0(R_0022_0028__WERE,R_0022_0026__AND)
& r_0022_0026__and(R_0022_0026__AND)
& has_conj2(R_0022_0026__AND,R_0022_0027__SESSHU)
& has_conj1(R_0022_0026__AND,R_0022_0025__SESSHU)
& has_arg0(R_0022_0017__IS_R_0022_0023__INDICATE,R_0022_0019__A_R_0022_0021__SOURCE)
& r_0022_0019__a_r_0022_0021__source(R_0022_0019__A_R_0022_0021__SOURCE)
& has_attrib(R_0022_0019__A_R_0022_0021__SOURCE,R_0022_0020__FIRM) )
& has_conj1(R_0022_0015__BUT,R_0022_0002__IS_R_0022_0003__THOUGHT)
& r_0022_0002__is_r_0022_0003__thought(R_0022_0002__IS_R_0022_0003__THOUGHT)
& has_arg0(R_0022_0002__IS_R_0022_0003__THOUGHT,Z_0022_5009___STAR_)
& has_arg1(R_0022_0002__IS_R_0022_0003__THOUGHT,R_0022_0009__WAS_R_0022_0010__KNOWN)
& r_0022_0009__was_r_0022_0010__known(R_0022_0009__WAS_R_0022_0010__KNOWN)
& has_arg0(R_0022_0009__WAS_R_0022_0010__KNOWN,Z_0022_5006___STAR_)
& has_r_0022_0011__as__prd(R_0022_0009__WAS_R_0022_0010__KNOWN,R_0022_0012__TOUYOU_R_0022_0013__SESSHU)
& has_arg1(R_0022_0009__WAS_R_0022_0010__KNOWN,R_0022_0008__HE)
& has_r_0022_0005__until__nim(R_0022_0009__WAS_R_0022_0010__KNOWN,R_0022_0006__THIS_R_0022_0007__TIME) ) ).