31_a_saint_exupery_1943
%3
r_0031_0001__Whenever
Whenever
r_0031_0003__met
met
r_0031_0001__Whenever->r_0031_0003__met
[restriction]
r_0031_0015__tried
tried
r_0031_0001__Whenever->r_0031_0015__tried
[scope]
r_0031_0002__I
I
r_0031_0003__met->r_0031_0002__I
[arg0]
r_0031_0004__one
one
r_0031_0003__met->r_0031_0004__one
[arg1]
r_0031_0015__tried->r_0031_0002__I
[arg0]
r_0031_0016__the_r_0031_0017__experiment
the experiment
r_0031_0015__tried->r_0031_0016__the_r_0031_0017__experiment
[arg1]
r_0031_0006__them
them
r_0031_0004__one->r_0031_0006__them
of
r_0031_0008__seemed
seemed
r_0031_0008__seemed->r_0031_0002__I
to [nim]
r_0031_0008__seemed->r_0031_0004__one
[arg0]
r_0031_0012__clear__hyphen__sighted
clear-sighted
r_0031_0008__seemed->r_0031_0012__clear__hyphen__sighted
[prd]
r_0031_0011__at_all
at all
r_0031_0012__clear__hyphen__sighted->r_0031_0011__at_all
[qual]
r_0031_0019__showing
showing
r_0031_0016__the_r_0031_0017__experiment->r_0031_0019__showing
of
r_0031_0019__showing->r_0031_0004__one
[arg2]
r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One
Drawing Number One
r_0031_0019__showing->r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One
[arg1]
z_000_31_a_saint_exupery_1943_53
r_0031_0019__showing->z_000_31_a_saint_exupery_1943_53
[arg0]
r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One->r_0031_0002__I
[gen]
r_0031_0028__have
have
r_0031_0030__kept
kept
r_0031_0028__have->r_0031_0030__kept
[scope]
r_0031_0030__kept->r_0031_0002__I
[arg0]
r_0031_0030__kept->r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One
[arg1]
r_0031_0029__always
always
r_0031_0030__kept->r_0031_0029__always
[nim]
arc(r_0031_0001__Whenever, r_0031_0003__met, restriction).
arc(r_0031_0001__Whenever, r_0031_0015__tried, scope).
arc(r_0031_0003__met, r_0031_0002__I, arg0).
arc(r_0031_0003__met, r_0031_0004__one, arg1).
arc(r_0031_0004__one, r_0031_0006__them, r_0031_0005__of).
arc(r_0031_0008__seemed, r_0031_0002__I, r_0031_0009__to_nim29).
arc(r_0031_0008__seemed, r_0031_0004__one, arg0).
arc(r_0031_0008__seemed, r_0031_0012__clear__hyphen__sighted, prd).
arc(r_0031_0012__clear__hyphen__sighted, r_0031_0011__at_all, qual33).
arc(r_0031_0015__tried, r_0031_0002__I, arg0).
arc(r_0031_0015__tried, r_0031_0016__the_r_0031_0017__experiment, arg1).
arc(r_0031_0016__the_r_0031_0017__experiment, r_0031_0019__showing, r_0031_0018__of).
arc(r_0031_0019__showing, r_0031_0004__one, arg2).
arc(r_0031_0019__showing, r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One, arg1).
arc(r_0031_0019__showing, z_000_31_a_saint_exupery_1943_53, arg0).
arc(r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One, r_0031_0002__I, gen).
arc(r_0031_0028__have, r_0031_0030__kept, scope).
arc(r_0031_0030__kept, r_0031_0002__I, arg0).
arc(r_0031_0030__kept, r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One, arg1).
arc(r_0031_0030__kept, r_0031_0029__always, nim83).
%3
r_0031_0001__Whenever
Whenever
r_0031_0003__met
met
r_0031_0001__Whenever->r_0031_0003__met
[restriction]
r_0031_0015__tried
tried
r_0031_0001__Whenever->r_0031_0015__tried
[scope]
r_0031_0002__I
I
r_0031_0003__met->r_0031_0002__I
[arg0]
r_0031_0004__one
one
r_0031_0003__met->r_0031_0004__one
[arg1]
r_0031_0015__tried->r_0031_0002__I
[arg0]
r_0031_0016__the_r_0031_0017__experiment
the experiment
r_0031_0015__tried->r_0031_0016__the_r_0031_0017__experiment
[arg1]
r_0031_0006__them
them
r_0031_0004__one->r_0031_0006__them
of
r_0031_0008__seemed
seemed
r_0031_0008__seemed->r_0031_0002__I
to [nim]
r_0031_0008__seemed->r_0031_0004__one
[arg0]
r_0031_0012__clear__hyphen__sighted
clear-sighted
r_0031_0008__seemed->r_0031_0012__clear__hyphen__sighted
[prd]
r_0031_0011__at_all
at all
r_0031_0012__clear__hyphen__sighted->r_0031_0011__at_all
[qual]
r_0031_0019__showing
showing
r_0031_0016__the_r_0031_0017__experiment->r_0031_0019__showing
of
r_0031_0019__showing->r_0031_0004__one
[arg2]
r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One
Drawing Number One
r_0031_0019__showing->r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One
[arg1]
z_000_31_a_saint_exupery_1943_53
r_0031_0019__showing->z_000_31_a_saint_exupery_1943_53
[arg0]
r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One->r_0031_0002__I
[gen]
r_0031_0028__have_r_0031_0030__kept
have kept
r_0031_0028__have_r_0031_0030__kept->r_0031_0002__I
[arg0]
r_0031_0028__have_r_0031_0030__kept->r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One
[arg1]
r_0031_0029__always
always
r_0031_0028__have_r_0031_0030__kept->r_0031_0029__always
[nim]
fof(formula,axiom,
? [R_31_8_SEEMED,R_31_4_ONE,R_31_6_THEM,R_31_12_CLEAR_HYPHEN_SIGHTED,R_31_11_AT_ALL,R_31_28_HAVE_KEPT,R_31_22_DRAWING_NUMBER_ONE,R_31_2_I,R_31_29_ALWAYS] :
( them(R_31_6_THEM)
& at_all(R_31_11_AT_ALL)
& i(R_31_2_I)
& always(R_31_29_ALWAYS)
& ! [R_31_3_MET] :
( met(R_31_3_MET,R_31_2_I,R_31_4_ONE)
=> ? [R_31_15_TRIED,R_31_16_THE_EXPERIMENT,R_31_19_SHOWING,Z_31_A_SAINT_EXUPERY_1943_53] :
( tried(R_31_15_TRIED,R_31_2_I,R_31_16_THE_EXPERIMENT)
& the_experiment(R_31_16_THE_EXPERIMENT)
& of(R_31_16_THE_EXPERIMENT,R_31_19_SHOWING)
& showing(R_31_19_SHOWING,Z_31_A_SAINT_EXUPERY_1943_53,R_31_22_DRAWING_NUMBER_ONE,R_31_4_ONE) ) )
& seemed(R_31_8_SEEMED,R_31_4_ONE,R_31_12_CLEAR_HYPHEN_SIGHTED)
& one(R_31_4_ONE)
& of(R_31_4_ONE,R_31_6_THEM)
& clear_hyphen_sighted(R_31_12_CLEAR_HYPHEN_SIGHTED)
& qual33(R_31_12_CLEAR_HYPHEN_SIGHTED,R_31_11_AT_ALL)
& to_nim29(R_31_8_SEEMED,R_31_2_I)
& have_kept(R_31_28_HAVE_KEPT,R_31_2_I,R_31_22_DRAWING_NUMBER_ONE)
& drawing_Number_One(R_31_22_DRAWING_NUMBER_ONE)
& gen(R_31_22_DRAWING_NUMBER_ONE,R_31_2_I)
& nim83(R_31_28_HAVE_KEPT,R_31_29_ALWAYS) ) ).
n31_a_saint_exupery_1943
n31_a_saint_exupery_1943_4
Whenever
n31_a_saint_exupery_1943_8
I
n31_a_saint_exupery_1943_10
met
n31_a_saint_exupery_1943_13
one
n31_a_saint_exupery_1943_16
of
n31_a_saint_exupery_1943_19
them
n31_a_saint_exupery_1943_23
who
n31_a_saint_exupery_1943_25
seemed
n31_a_saint_exupery_1943_28
to
n31_a_saint_exupery_1943_31
me
n31_a_saint_exupery_1943_35
at_all
n31_a_saint_exupery_1943_37
clear-sighted
n31_a_saint_exupery_1943_39
,
n31_a_saint_exupery_1943_42
I
n31_a_saint_exupery_1943_44
tried
n31_a_saint_exupery_1943_47
the
n31_a_saint_exupery_1943_49
experiment
n31_a_saint_exupery_1943_52
of
n31_a_saint_exupery_1943_55
showing
n31_a_saint_exupery_1943_58
him
n31_a_saint_exupery_1943_62
my
n31_a_saint_exupery_1943_64
Drawing
n31_a_saint_exupery_1943_66
Number
n31_a_saint_exupery_1943_68
One
n31_a_saint_exupery_1943_72
which
n31_a_saint_exupery_1943_74
,
n31_a_saint_exupery_1943_77
I
n31_a_saint_exupery_1943_79
have
n31_a_saint_exupery_1943_82
*ICH*-132
n31_a_saint_exupery_1943_85
always
n31_a_saint_exupery_1943_87
kept
n31_a_saint_exupery_1943_89
.
n31_a_saint_exupery_1943_1
IP-MAT
n31_a_saint_exupery_1943_2
PP-SCON
n31_a_saint_exupery_1943_1->n31_a_saint_exupery_1943_2
n31_a_saint_exupery_1943_38
PUNC
n31_a_saint_exupery_1943_1->n31_a_saint_exupery_1943_38
n31_a_saint_exupery_1943_40
NP-SBJ
n31_a_saint_exupery_1943_1->n31_a_saint_exupery_1943_40
n31_a_saint_exupery_1943_43
VBD;__
n31_a_saint_exupery_1943_1->n31_a_saint_exupery_1943_43
n31_a_saint_exupery_1943_45
NP-OB1
n31_a_saint_exupery_1943_1->n31_a_saint_exupery_1943_45
n31_a_saint_exupery_1943_88
PUNC
n31_a_saint_exupery_1943_1->n31_a_saint_exupery_1943_88
n31_a_saint_exupery_1943_3
P-CONN
n31_a_saint_exupery_1943_2->n31_a_saint_exupery_1943_3
n31_a_saint_exupery_1943_5
IP-ADV
n31_a_saint_exupery_1943_2->n31_a_saint_exupery_1943_5
n31_a_saint_exupery_1943_3->n31_a_saint_exupery_1943_4
n31_a_saint_exupery_1943_6
NP-SBJ
n31_a_saint_exupery_1943_5->n31_a_saint_exupery_1943_6
n31_a_saint_exupery_1943_9
VBD;__
n31_a_saint_exupery_1943_5->n31_a_saint_exupery_1943_9
n31_a_saint_exupery_1943_11
NP-OB1
n31_a_saint_exupery_1943_5->n31_a_saint_exupery_1943_11
n31_a_saint_exupery_1943_7
PRO
n31_a_saint_exupery_1943_6->n31_a_saint_exupery_1943_7
n31_a_saint_exupery_1943_7->n31_a_saint_exupery_1943_8
n31_a_saint_exupery_1943_9->n31_a_saint_exupery_1943_10
n31_a_saint_exupery_1943_12
NUM
n31_a_saint_exupery_1943_11->n31_a_saint_exupery_1943_12
n31_a_saint_exupery_1943_14
PP
n31_a_saint_exupery_1943_11->n31_a_saint_exupery_1943_14
n31_a_saint_exupery_1943_20
IP-REL
n31_a_saint_exupery_1943_11->n31_a_saint_exupery_1943_20
n31_a_saint_exupery_1943_12->n31_a_saint_exupery_1943_13
n31_a_saint_exupery_1943_15
P-ROLE
n31_a_saint_exupery_1943_14->n31_a_saint_exupery_1943_15
n31_a_saint_exupery_1943_17
NP
n31_a_saint_exupery_1943_14->n31_a_saint_exupery_1943_17
n31_a_saint_exupery_1943_15->n31_a_saint_exupery_1943_16
n31_a_saint_exupery_1943_18
PRO
n31_a_saint_exupery_1943_17->n31_a_saint_exupery_1943_18
n31_a_saint_exupery_1943_18->n31_a_saint_exupery_1943_19
n31_a_saint_exupery_1943_21
NP-SBJ
n31_a_saint_exupery_1943_20->n31_a_saint_exupery_1943_21
n31_a_saint_exupery_1943_24
VBD;_La_
n31_a_saint_exupery_1943_20->n31_a_saint_exupery_1943_24
n31_a_saint_exupery_1943_26
PP-NIM
n31_a_saint_exupery_1943_20->n31_a_saint_exupery_1943_26
n31_a_saint_exupery_1943_32
ADJP-PRD
n31_a_saint_exupery_1943_20->n31_a_saint_exupery_1943_32
n31_a_saint_exupery_1943_22
RPRO
n31_a_saint_exupery_1943_21->n31_a_saint_exupery_1943_22
n31_a_saint_exupery_1943_22->n31_a_saint_exupery_1943_23
n31_a_saint_exupery_1943_24->n31_a_saint_exupery_1943_25
n31_a_saint_exupery_1943_27
P-ROLE
n31_a_saint_exupery_1943_26->n31_a_saint_exupery_1943_27
n31_a_saint_exupery_1943_29
NP
n31_a_saint_exupery_1943_26->n31_a_saint_exupery_1943_29
n31_a_saint_exupery_1943_27->n31_a_saint_exupery_1943_28
n31_a_saint_exupery_1943_30
PRO
n31_a_saint_exupery_1943_29->n31_a_saint_exupery_1943_30
n31_a_saint_exupery_1943_30->n31_a_saint_exupery_1943_31
n31_a_saint_exupery_1943_33
ADVP
n31_a_saint_exupery_1943_32->n31_a_saint_exupery_1943_33
n31_a_saint_exupery_1943_36
ADJ
n31_a_saint_exupery_1943_32->n31_a_saint_exupery_1943_36
n31_a_saint_exupery_1943_34
ADV
n31_a_saint_exupery_1943_33->n31_a_saint_exupery_1943_34
n31_a_saint_exupery_1943_34->n31_a_saint_exupery_1943_35
n31_a_saint_exupery_1943_36->n31_a_saint_exupery_1943_37
n31_a_saint_exupery_1943_38->n31_a_saint_exupery_1943_39
n31_a_saint_exupery_1943_41
PRO
n31_a_saint_exupery_1943_40->n31_a_saint_exupery_1943_41
n31_a_saint_exupery_1943_41->n31_a_saint_exupery_1943_42
n31_a_saint_exupery_1943_43->n31_a_saint_exupery_1943_44
n31_a_saint_exupery_1943_46
D
n31_a_saint_exupery_1943_45->n31_a_saint_exupery_1943_46
n31_a_saint_exupery_1943_48
N
n31_a_saint_exupery_1943_45->n31_a_saint_exupery_1943_48
n31_a_saint_exupery_1943_50
PP
n31_a_saint_exupery_1943_45->n31_a_saint_exupery_1943_50
n31_a_saint_exupery_1943_46->n31_a_saint_exupery_1943_47
n31_a_saint_exupery_1943_48->n31_a_saint_exupery_1943_49
n31_a_saint_exupery_1943_51
P-ROLE
n31_a_saint_exupery_1943_50->n31_a_saint_exupery_1943_51
n31_a_saint_exupery_1943_53
IP-PPL
n31_a_saint_exupery_1943_50->n31_a_saint_exupery_1943_53
n31_a_saint_exupery_1943_51->n31_a_saint_exupery_1943_52
n31_a_saint_exupery_1943_54
VAG;__
n31_a_saint_exupery_1943_53->n31_a_saint_exupery_1943_54
n31_a_saint_exupery_1943_56
NP-OB2
n31_a_saint_exupery_1943_53->n31_a_saint_exupery_1943_56
n31_a_saint_exupery_1943_59
NP-OB1
n31_a_saint_exupery_1943_53->n31_a_saint_exupery_1943_59
n31_a_saint_exupery_1943_54->n31_a_saint_exupery_1943_55
n31_a_saint_exupery_1943_57
PRO
n31_a_saint_exupery_1943_56->n31_a_saint_exupery_1943_57
n31_a_saint_exupery_1943_57->n31_a_saint_exupery_1943_58
n31_a_saint_exupery_1943_60
NP-GEN
n31_a_saint_exupery_1943_59->n31_a_saint_exupery_1943_60
n31_a_saint_exupery_1943_63
N
n31_a_saint_exupery_1943_59->n31_a_saint_exupery_1943_63
n31_a_saint_exupery_1943_65
N
n31_a_saint_exupery_1943_59->n31_a_saint_exupery_1943_65
n31_a_saint_exupery_1943_67
N
n31_a_saint_exupery_1943_59->n31_a_saint_exupery_1943_67
n31_a_saint_exupery_1943_69
IP-REL
n31_a_saint_exupery_1943_59->n31_a_saint_exupery_1943_69
n31_a_saint_exupery_1943_61
PRO;_genm_
n31_a_saint_exupery_1943_60->n31_a_saint_exupery_1943_61
n31_a_saint_exupery_1943_61->n31_a_saint_exupery_1943_62
n31_a_saint_exupery_1943_63->n31_a_saint_exupery_1943_64
n31_a_saint_exupery_1943_65->n31_a_saint_exupery_1943_66
n31_a_saint_exupery_1943_67->n31_a_saint_exupery_1943_68
n31_a_saint_exupery_1943_70
NP-132
n31_a_saint_exupery_1943_69->n31_a_saint_exupery_1943_70
n31_a_saint_exupery_1943_73
PUNC
n31_a_saint_exupery_1943_69->n31_a_saint_exupery_1943_73
n31_a_saint_exupery_1943_75
NP-SBJ
n31_a_saint_exupery_1943_69->n31_a_saint_exupery_1943_75
n31_a_saint_exupery_1943_78
HVP;_cat_Ve_
n31_a_saint_exupery_1943_69->n31_a_saint_exupery_1943_78
n31_a_saint_exupery_1943_80
IP-PPL-CAT
n31_a_saint_exupery_1943_69->n31_a_saint_exupery_1943_80
n31_a_saint_exupery_1943_71
RPRO
n31_a_saint_exupery_1943_70->n31_a_saint_exupery_1943_71
n31_a_saint_exupery_1943_71->n31_a_saint_exupery_1943_72
n31_a_saint_exupery_1943_73->n31_a_saint_exupery_1943_74
n31_a_saint_exupery_1943_76
PRO
n31_a_saint_exupery_1943_75->n31_a_saint_exupery_1943_76
n31_a_saint_exupery_1943_76->n31_a_saint_exupery_1943_77
n31_a_saint_exupery_1943_78->n31_a_saint_exupery_1943_79
n31_a_saint_exupery_1943_81
NP-OB1
n31_a_saint_exupery_1943_80->n31_a_saint_exupery_1943_81
n31_a_saint_exupery_1943_83
ADVP-NIM
n31_a_saint_exupery_1943_80->n31_a_saint_exupery_1943_83
n31_a_saint_exupery_1943_86
VVN;__
n31_a_saint_exupery_1943_80->n31_a_saint_exupery_1943_86
n31_a_saint_exupery_1943_81->n31_a_saint_exupery_1943_82
n31_a_saint_exupery_1943_84
ADV
n31_a_saint_exupery_1943_83->n31_a_saint_exupery_1943_84
n31_a_saint_exupery_1943_84->n31_a_saint_exupery_1943_85
n31_a_saint_exupery_1943_86->n31_a_saint_exupery_1943_87
n31_a_saint_exupery_1943_88->n31_a_saint_exupery_1943_89
( (IP-MAT (PP-SCON (P-CONN Whenever;{whenever})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBD;__ met;{meet})
(NP-OB1;{PERSON} (NUM one;{one})
(PP (P-ROLE of;{of})
(NP;{PERSONS} (PRO them;{they})))
(IP-REL (NP-SBJ (RPRO who;{who}))
(VBD;_La_ seemed;{seem})
(PP-NIM (P-ROLE to;{to})
(NP (PRO me;{I})))
(ADJP-PRD (ADVP (ADV at_all;{at_all}))
(ADJ clear_<hyphen>_sighted;{clear_sighted}))))))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(VBD;__ tried;{try})
(NP-OB1 (D the;{the})
(N experiment;{experiment})
(PP (P-ROLE of;{of})
(IP-PPL (VAG;__ showing;{show})
(NP-OB2;{PERSON} (PRO him;{he}))
(NP-OB1;{ARTWORK} (NP-GEN (PRO;_genm_ my;{my}))
(N Drawing;{drawing})
(N Number;{number})
(N One;{one})
(IP-REL (NP-132 (RPRO which;{which}))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (NP-OB1 *ICH*-132)
(ADVP-NIM (ADV always;{always}))
(VVN;__ kept;{keep})))))))
(PUNC .))
(ID 31_a_saint_exupery_1943))