2_a_osaka_statement
%3
r_0002_0002__think
think
r_0002_0001__I
I
r_0002_0002__think->r_0002_0001__I
[arg0]
r_0002_0003__now
now
r_0002_0002__think->r_0002_0003__now
[nim]
r_0002_0017__is
is
r_0002_0002__think->r_0002_0017__is
[arg1]
r_0002_0004__the_r_0002_0006__thing
the thing
r_0002_0017__is->r_0002_0004__the_r_0002_0006__thing
[arg0]
r_0002_0021__so_that
so that
r_0002_0017__is->r_0002_0021__so_that
[prd]
r_0002_0005__best
best
r_0002_0004__the_r_0002_0006__thing->r_0002_0005__best
[attrib]
r_0002_0014__and
and
r_0002_0004__the_r_0002_0006__thing->r_0002_0014__and
for
r_0002_0011__the_r_0002_0013__players
the players
r_0002_0014__and->r_0002_0011__the_r_0002_0013__players
[conj2]
r_0002_0008__the_r_0002_0009__tournament
the tournament
r_0002_0014__and->r_0002_0008__the_r_0002_0009__tournament
[conj1]
r_0002_0016__well__hyphen__being
well-being
r_0002_0014__and->r_0002_0016__well__hyphen__being
[conj3]
r_0002_0012__other
other
r_0002_0011__the_r_0002_0013__players->r_0002_0012__other
[attrib]
r_0002_0016__well__hyphen__being->r_0002_0001__I
[gen]
r_0002_0018__that_r_0002_0020__withdraw
that withdraw
r_0002_0021__so_that->r_0002_0018__that_r_0002_0020__withdraw
[scope]
r_0002_0022__everyone_quant
everyone [quant]
r_0002_0021__so_that->r_0002_0022__everyone_quant
[restriction]
r_0002_0018__that_r_0002_0020__withdraw->r_0002_0001__I
[arg0]
r_0002_0023__can
can
r_0002_0022__everyone_quant->r_0002_0023__can
[scope]
z_000_2_a_osaka_statement_65
r_0002_0022__everyone_quant->z_000_2_a_osaka_statement_65
[restriction]
r_0002_0024__get
get
r_0002_0023__can->r_0002_0024__get
[scope]
r_0002_0024__get->z_000_2_a_osaka_statement_65
[arg0]
r_0002_0025__back
back
r_0002_0024__get->r_0002_0025__back
[clr]
r_0002_0027__focusing
focusing
r_0002_0025__back->r_0002_0027__focusing
to
r_0002_0029__the_r_0002_0030__tennis
the tennis
r_0002_0027__focusing->r_0002_0029__the_r_0002_0030__tennis
on [clr]
z_000_2_a_osaka_statement_79
r_0002_0027__focusing->z_000_2_a_osaka_statement_79
[arg0]
r_0002_0031__going_r_0002_0032__on
going on
r_0002_0031__going_r_0002_0032__on->r_0002_0029__the_r_0002_0030__tennis
[arg0]
r_0002_0034__Paris
Paris
r_0002_0031__going_r_0002_0032__on->r_0002_0034__Paris
in [nim]
arc(r_0002_0002__think, r_0002_0001__I, arg0).
arc(r_0002_0002__think, r_0002_0003__now, nim7).
arc(r_0002_0002__think, r_0002_0017__is, arg1).
arc(r_0002_0004__the_r_0002_0006__thing, r_0002_0005__best, attrib15).
arc(r_0002_0004__the_r_0002_0006__thing, r_0002_0014__and, r_0002_0007__for).
arc(r_0002_0011__the_r_0002_0013__players, r_0002_0012__other, attrib36).
arc(r_0002_0014__and, r_0002_0008__the_r_0002_0009__tournament, conj1).
arc(r_0002_0014__and, r_0002_0011__the_r_0002_0013__players, conj2).
arc(r_0002_0014__and, r_0002_0016__well__hyphen__being, conj3).
arc(r_0002_0016__well__hyphen__being, r_0002_0001__I, gen).
arc(r_0002_0017__is, r_0002_0004__the_r_0002_0006__thing, arg0).
arc(r_0002_0017__is, r_0002_0021__so_that, prd).
arc(r_0002_0018__that_r_0002_0020__withdraw, r_0002_0001__I, arg0).
arc(r_0002_0021__so_that, r_0002_0018__that_r_0002_0020__withdraw, scope).
arc(r_0002_0021__so_that, r_0002_0022__everyone_quant, restriction).
arc(r_0002_0022__everyone_quant, r_0002_0023__can, scope).
arc(r_0002_0022__everyone_quant, z_000_2_a_osaka_statement_65, restriction).
arc(r_0002_0023__can, r_0002_0024__get, scope).
arc(r_0002_0024__get, r_0002_0025__back, clr73).
arc(r_0002_0024__get, z_000_2_a_osaka_statement_65, arg0).
arc(r_0002_0025__back, r_0002_0027__focusing, r_0002_0026__to).
arc(r_0002_0027__focusing, r_0002_0029__the_r_0002_0030__tennis, r_0002_0028__on_clr85).
arc(r_0002_0027__focusing, z_000_2_a_osaka_statement_79, arg0).
arc(r_0002_0031__going_r_0002_0032__on, r_0002_0029__the_r_0002_0030__tennis, arg0).
arc(r_0002_0031__going_r_0002_0032__on, r_0002_0034__Paris, r_0002_0033__in_nim98).
%3
r_0002_0002__think
think
r_0002_0001__I
I
r_0002_0002__think->r_0002_0001__I
[arg0]
r_0002_0003__now
now
r_0002_0002__think->r_0002_0003__now
[nim]
r_0002_0017__is
is
r_0002_0002__think->r_0002_0017__is
[arg1]
r_0002_0004__the_r_0002_0006__thing
the thing
r_0002_0017__is->r_0002_0004__the_r_0002_0006__thing
[arg0]
r_0002_0021__so_that
so that
r_0002_0017__is->r_0002_0021__so_that
[prd]
r_0002_0005__best
best
r_0002_0004__the_r_0002_0006__thing->r_0002_0005__best
[attrib]
r_0002_0014__and
and
r_0002_0004__the_r_0002_0006__thing->r_0002_0014__and
for
r_0002_0011__the_r_0002_0013__players
the players
r_0002_0014__and->r_0002_0011__the_r_0002_0013__players
[conj2]
r_0002_0008__the_r_0002_0009__tournament
the tournament
r_0002_0014__and->r_0002_0008__the_r_0002_0009__tournament
[conj1]
r_0002_0016__well__hyphen__being
well-being
r_0002_0014__and->r_0002_0016__well__hyphen__being
[conj3]
r_0002_0012__other
other
r_0002_0011__the_r_0002_0013__players->r_0002_0012__other
[attrib]
r_0002_0016__well__hyphen__being->r_0002_0001__I
[gen]
r_0002_0018__that_r_0002_0020__withdraw
that withdraw
r_0002_0021__so_that->r_0002_0018__that_r_0002_0020__withdraw
[conj2]
r_0002_0022__everyone_quant
everyone [quant]
r_0002_0021__so_that->r_0002_0022__everyone_quant
[conj1]
r_0002_0018__that_r_0002_0020__withdraw->r_0002_0001__I
[arg0]
r_0002_0023__can_r_0002_0024__get
can get
r_0002_0022__everyone_quant->r_0002_0023__can_r_0002_0024__get
[scope]
z_000_2_a_osaka_statement_65
r_0002_0022__everyone_quant->z_000_2_a_osaka_statement_65
[restriction]
r_0002_0023__can_r_0002_0024__get->z_000_2_a_osaka_statement_65
[arg0]
r_0002_0025__back
back
r_0002_0023__can_r_0002_0024__get->r_0002_0025__back
[clr]
r_0002_0027__focusing
focusing
r_0002_0025__back->r_0002_0027__focusing
to
r_0002_0029__the_r_0002_0030__tennis
the tennis
r_0002_0027__focusing->r_0002_0029__the_r_0002_0030__tennis
on [clr]
z_000_2_a_osaka_statement_79
r_0002_0027__focusing->z_000_2_a_osaka_statement_79
[arg0]
r_0002_0031__going_r_0002_0032__on
going on
r_0002_0031__going_r_0002_0032__on->r_0002_0029__the_r_0002_0030__tennis
[arg0]
r_0002_0034__Paris
Paris
r_0002_0031__going_r_0002_0032__on->r_0002_0034__Paris
in [nim]
fof(formula,axiom,
? [R_2_2_THINK,R_2_17_IS,R_2_4_THE_THING,R_2_5_BEST,R_2_14_AND,R_2_8_THE_TOURNAMENT,R_2_11_THE_PLAYERS,R_2_12_OTHER,R_2_16_WELL_HYPHEN_BEING,R_2_21_SO_THAT,R_2_18_THAT_WITHDRAW,R_2_1_I,R_2_3_NOW,R_2_31_GOING_ON,R_2_29_THE_TENNIS,R_2_34_PARIS] :
( best(R_2_5_BEST)
& the_tournament(R_2_8_THE_TOURNAMENT)
& other(R_2_12_OTHER)
& i(R_2_1_I)
& now(R_2_3_NOW)
& the_tennis(R_2_29_THE_TENNIS)
& paris(R_2_34_PARIS)
& think(R_2_2_THINK,R_2_1_I,R_2_17_IS)
& is(R_2_17_IS,R_2_4_THE_THING,R_2_21_SO_THAT)
& the_thing(R_2_4_THE_THING)
& attrib15(R_2_4_THE_THING,R_2_5_BEST)
& for(R_2_4_THE_THING,R_2_14_AND)
& and(R_2_14_AND)
& conj1(R_2_14_AND,R_2_8_THE_TOURNAMENT)
& conj2(R_2_14_AND,R_2_11_THE_PLAYERS)
& the_players(R_2_11_THE_PLAYERS)
& attrib36(R_2_11_THE_PLAYERS,R_2_12_OTHER)
& conj3(R_2_14_AND,R_2_16_WELL_HYPHEN_BEING)
& well_hyphen_being(R_2_16_WELL_HYPHEN_BEING)
& gen(R_2_16_WELL_HYPHEN_BEING,R_2_1_I)
& ! [Z_2_A_OSAKA_STATEMENT_65] :
( true
=> ? [R_2_23_CAN_GET,R_2_25_BACK,R_2_27_FOCUSING,Z_2_A_OSAKA_STATEMENT_79] :
( can_get(R_2_23_CAN_GET,Z_2_A_OSAKA_STATEMENT_65)
& clr73(R_2_23_CAN_GET,R_2_25_BACK)
& back(R_2_25_BACK)
& to(R_2_25_BACK,R_2_27_FOCUSING)
& focusing(R_2_27_FOCUSING,Z_2_A_OSAKA_STATEMENT_79)
& on_clr85(R_2_27_FOCUSING,R_2_29_THE_TENNIS) ) )
& conj1(CONJ1)
& so_that(R_2_21_SO_THAT)
& conj2(R_2_21_SO_THAT,R_2_18_THAT_WITHDRAW)
& that_withdraw(R_2_18_THAT_WITHDRAW,R_2_1_I)
& nim7(R_2_2_THINK,R_2_3_NOW)
& going_on(R_2_31_GOING_ON,R_2_29_THE_TENNIS)
& in_nim98(R_2_31_GOING_ON,R_2_34_PARIS) ) ).
n2_a_osaka_statement
n2_a_osaka_statement_4
I
n2_a_osaka_statement_6
think
n2_a_osaka_statement_9
now
n2_a_osaka_statement_14
the
n2_a_osaka_statement_17
best
n2_a_osaka_statement_19
thing
n2_a_osaka_statement_22
for
n2_a_osaka_statement_27
the
n2_a_osaka_statement_29
tournament
n2_a_osaka_statement_31
,
n2_a_osaka_statement_35
the
n2_a_osaka_statement_38
other
n2_a_osaka_statement_40
players
n2_a_osaka_statement_43
and
n2_a_osaka_statement_47
my
n2_a_osaka_statement_49
well-being
n2_a_osaka_statement_51
is
n2_a_osaka_statement_55
that
n2_a_osaka_statement_58
I
n2_a_osaka_statement_60
withdraw
n2_a_osaka_statement_63
so_that
n2_a_osaka_statement_67
everyone
n2_a_osaka_statement_69
can
n2_a_osaka_statement_72
get
n2_a_osaka_statement_75
back
n2_a_osaka_statement_78
to
n2_a_osaka_statement_81
focusing
n2_a_osaka_statement_84
on
n2_a_osaka_statement_87
the
n2_a_osaka_statement_89
tennis
n2_a_osaka_statement_92
going
n2_a_osaka_statement_94
on
n2_a_osaka_statement_97
in
n2_a_osaka_statement_100
Paris
n2_a_osaka_statement_102
.
n2_a_osaka_statement_1
IP-MAT
n2_a_osaka_statement_2
NP-SBJ
n2_a_osaka_statement_1->n2_a_osaka_statement_2
n2_a_osaka_statement_5
VBP;_Tf_
n2_a_osaka_statement_1->n2_a_osaka_statement_5
n2_a_osaka_statement_7
ADVP-NIM
n2_a_osaka_statement_1->n2_a_osaka_statement_7
n2_a_osaka_statement_10
CP-THT-OB1
n2_a_osaka_statement_1->n2_a_osaka_statement_10
n2_a_osaka_statement_101
PUNC
n2_a_osaka_statement_1->n2_a_osaka_statement_101
n2_a_osaka_statement_3
PRO
n2_a_osaka_statement_2->n2_a_osaka_statement_3
n2_a_osaka_statement_3->n2_a_osaka_statement_4
n2_a_osaka_statement_5->n2_a_osaka_statement_6
n2_a_osaka_statement_8
ADV
n2_a_osaka_statement_7->n2_a_osaka_statement_8
n2_a_osaka_statement_8->n2_a_osaka_statement_9
n2_a_osaka_statement_11
IP-SUB
n2_a_osaka_statement_10->n2_a_osaka_statement_11
n2_a_osaka_statement_12
NP-SBJ
n2_a_osaka_statement_11->n2_a_osaka_statement_12
n2_a_osaka_statement_50
BEP;_equ_Vf_
n2_a_osaka_statement_11->n2_a_osaka_statement_50
n2_a_osaka_statement_52
CP-THT-PRD
n2_a_osaka_statement_11->n2_a_osaka_statement_52
n2_a_osaka_statement_13
D
n2_a_osaka_statement_12->n2_a_osaka_statement_13
n2_a_osaka_statement_15
ADJP
n2_a_osaka_statement_12->n2_a_osaka_statement_15
n2_a_osaka_statement_18
N
n2_a_osaka_statement_12->n2_a_osaka_statement_18
n2_a_osaka_statement_20
PP
n2_a_osaka_statement_12->n2_a_osaka_statement_20
n2_a_osaka_statement_13->n2_a_osaka_statement_14
n2_a_osaka_statement_16
ADJS
n2_a_osaka_statement_15->n2_a_osaka_statement_16
n2_a_osaka_statement_16->n2_a_osaka_statement_17
n2_a_osaka_statement_18->n2_a_osaka_statement_19
n2_a_osaka_statement_21
P-ROLE
n2_a_osaka_statement_20->n2_a_osaka_statement_21
n2_a_osaka_statement_23
NP
n2_a_osaka_statement_20->n2_a_osaka_statement_23
n2_a_osaka_statement_21->n2_a_osaka_statement_22
n2_a_osaka_statement_24
NLYR
n2_a_osaka_statement_23->n2_a_osaka_statement_24
n2_a_osaka_statement_25
NLYR
n2_a_osaka_statement_24->n2_a_osaka_statement_25
n2_a_osaka_statement_30
PUNC
n2_a_osaka_statement_24->n2_a_osaka_statement_30
n2_a_osaka_statement_32
CONJP
n2_a_osaka_statement_24->n2_a_osaka_statement_32
n2_a_osaka_statement_41
CONJP
n2_a_osaka_statement_24->n2_a_osaka_statement_41
n2_a_osaka_statement_26
D
n2_a_osaka_statement_25->n2_a_osaka_statement_26
n2_a_osaka_statement_28
N
n2_a_osaka_statement_25->n2_a_osaka_statement_28
n2_a_osaka_statement_26->n2_a_osaka_statement_27
n2_a_osaka_statement_28->n2_a_osaka_statement_29
n2_a_osaka_statement_30->n2_a_osaka_statement_31
n2_a_osaka_statement_33
NLYR
n2_a_osaka_statement_32->n2_a_osaka_statement_33
n2_a_osaka_statement_34
D
n2_a_osaka_statement_33->n2_a_osaka_statement_34
n2_a_osaka_statement_36
ADJP
n2_a_osaka_statement_33->n2_a_osaka_statement_36
n2_a_osaka_statement_39
NS
n2_a_osaka_statement_33->n2_a_osaka_statement_39
n2_a_osaka_statement_34->n2_a_osaka_statement_35
n2_a_osaka_statement_37
ADJ
n2_a_osaka_statement_36->n2_a_osaka_statement_37
n2_a_osaka_statement_37->n2_a_osaka_statement_38
n2_a_osaka_statement_39->n2_a_osaka_statement_40
n2_a_osaka_statement_42
CONJ
n2_a_osaka_statement_41->n2_a_osaka_statement_42
n2_a_osaka_statement_44
NLYR
n2_a_osaka_statement_41->n2_a_osaka_statement_44
n2_a_osaka_statement_42->n2_a_osaka_statement_43
n2_a_osaka_statement_45
NP-GEN
n2_a_osaka_statement_44->n2_a_osaka_statement_45
n2_a_osaka_statement_48
N
n2_a_osaka_statement_44->n2_a_osaka_statement_48
n2_a_osaka_statement_46
PRO;_genm_
n2_a_osaka_statement_45->n2_a_osaka_statement_46
n2_a_osaka_statement_46->n2_a_osaka_statement_47
n2_a_osaka_statement_48->n2_a_osaka_statement_49
n2_a_osaka_statement_50->n2_a_osaka_statement_51
n2_a_osaka_statement_53
IP-SUB
n2_a_osaka_statement_52->n2_a_osaka_statement_53
n2_a_osaka_statement_54
C
n2_a_osaka_statement_53->n2_a_osaka_statement_54
n2_a_osaka_statement_56
NP-SBJ
n2_a_osaka_statement_53->n2_a_osaka_statement_56
n2_a_osaka_statement_59
VBP;_I_
n2_a_osaka_statement_53->n2_a_osaka_statement_59
n2_a_osaka_statement_61
PP-SCON
n2_a_osaka_statement_53->n2_a_osaka_statement_61
n2_a_osaka_statement_54->n2_a_osaka_statement_55
n2_a_osaka_statement_57
PRO
n2_a_osaka_statement_56->n2_a_osaka_statement_57
n2_a_osaka_statement_57->n2_a_osaka_statement_58
n2_a_osaka_statement_59->n2_a_osaka_statement_60
n2_a_osaka_statement_62
P-CONN
n2_a_osaka_statement_61->n2_a_osaka_statement_62
n2_a_osaka_statement_64
IP-ADV
n2_a_osaka_statement_61->n2_a_osaka_statement_64
n2_a_osaka_statement_62->n2_a_osaka_statement_63
n2_a_osaka_statement_65
NP-SBJ
n2_a_osaka_statement_64->n2_a_osaka_statement_65
n2_a_osaka_statement_68
MD;_cat_Vi_
n2_a_osaka_statement_64->n2_a_osaka_statement_68
n2_a_osaka_statement_70
IP-INF-CAT
n2_a_osaka_statement_64->n2_a_osaka_statement_70
n2_a_osaka_statement_66
Q;_nphd_
n2_a_osaka_statement_65->n2_a_osaka_statement_66
n2_a_osaka_statement_66->n2_a_osaka_statement_67
n2_a_osaka_statement_68->n2_a_osaka_statement_69
n2_a_osaka_statement_71
VB;_Ip_
n2_a_osaka_statement_70->n2_a_osaka_statement_71
n2_a_osaka_statement_73
ADVP-CLR
n2_a_osaka_statement_70->n2_a_osaka_statement_73
n2_a_osaka_statement_71->n2_a_osaka_statement_72
n2_a_osaka_statement_74
ADV
n2_a_osaka_statement_73->n2_a_osaka_statement_74
n2_a_osaka_statement_76
PP
n2_a_osaka_statement_73->n2_a_osaka_statement_76
n2_a_osaka_statement_74->n2_a_osaka_statement_75
n2_a_osaka_statement_77
P-ROLE
n2_a_osaka_statement_76->n2_a_osaka_statement_77
n2_a_osaka_statement_79
IP-PPL
n2_a_osaka_statement_76->n2_a_osaka_statement_79
n2_a_osaka_statement_77->n2_a_osaka_statement_78
n2_a_osaka_statement_80
VAG;_Ipr_
n2_a_osaka_statement_79->n2_a_osaka_statement_80
n2_a_osaka_statement_82
PP-CLR
n2_a_osaka_statement_79->n2_a_osaka_statement_82
n2_a_osaka_statement_80->n2_a_osaka_statement_81
n2_a_osaka_statement_83
P-ROLE
n2_a_osaka_statement_82->n2_a_osaka_statement_83
n2_a_osaka_statement_85
NP
n2_a_osaka_statement_82->n2_a_osaka_statement_85
n2_a_osaka_statement_83->n2_a_osaka_statement_84
n2_a_osaka_statement_86
D
n2_a_osaka_statement_85->n2_a_osaka_statement_86
n2_a_osaka_statement_88
N
n2_a_osaka_statement_85->n2_a_osaka_statement_88
n2_a_osaka_statement_90
IP-PPL
n2_a_osaka_statement_85->n2_a_osaka_statement_90
n2_a_osaka_statement_86->n2_a_osaka_statement_87
n2_a_osaka_statement_88->n2_a_osaka_statement_89
n2_a_osaka_statement_91
VAG;_phr_Vp_
n2_a_osaka_statement_90->n2_a_osaka_statement_91
n2_a_osaka_statement_93
RP
n2_a_osaka_statement_90->n2_a_osaka_statement_93
n2_a_osaka_statement_95
PP-NIM
n2_a_osaka_statement_90->n2_a_osaka_statement_95
n2_a_osaka_statement_91->n2_a_osaka_statement_92
n2_a_osaka_statement_93->n2_a_osaka_statement_94
n2_a_osaka_statement_96
P-ROLE
n2_a_osaka_statement_95->n2_a_osaka_statement_96
n2_a_osaka_statement_98
NP
n2_a_osaka_statement_95->n2_a_osaka_statement_98
n2_a_osaka_statement_96->n2_a_osaka_statement_97
n2_a_osaka_statement_99
NPR
n2_a_osaka_statement_98->n2_a_osaka_statement_99
n2_a_osaka_statement_99->n2_a_osaka_statement_100
n2_a_osaka_statement_101->n2_a_osaka_statement_102
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tf_ think;{think})
(ADVP-NIM (ADV now;{now}))
(CP-THT-OB1 (IP-SUB (NP-SBJ (D the;{the})
(ADJP (ADJS best;{good}))
(N thing;{thing})
(PP (P-ROLE for;{for})
(NP (NLYR (NLYR (D the;{the})
(N tournament;{tournament}))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(ADJP (ADJ other;{other}))
(NS players;{player})))
(CONJP (CONJ and;{and})
(NLYR (NP-GEN (PRO;_genm_ my;{my}))
(N well_<hyphen>_being;{well_being})))))))
(BEP;_equ_Vf_ is;{be})
(CP-THT-PRD (IP-SUB (C that;{that})
(NP-SBJ (PRO I;{I}))
(VBP;_I_ withdraw;{withdraw})
(PP-SCON (P-CONN so_that;{so_that})
(IP-ADV (NP-SBJ (Q;_nphd_ everyone;{everyone}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_Ip_ get;{get[back]})
(ADVP-CLR (ADV back;{back})
(PP (P-ROLE to;{to})
(IP-PPL (VAG;_Ipr_ focusing;{focus[on]})
(PP-CLR (P-ROLE on;{on})
(NP (D the;{the})
(N tennis;{tennis})
(IP-PPL (VAG;_phr_Vp_ going;{go[on]})
(RP on;{on})
(PP-NIM (P-ROLE in;{in})
(NP (NPR Paris;{Paris}))))))))))))))))
(PUNC .))
(ID 2_a_osaka_statement))