15_a_lob_g01
%3
r_0015_0002__seems
seems
r_0015_0003__obvious
obvious
r_0015_0002__seems->r_0015_0003__obvious
[prd]
r_0015_0005__if
if
r_0015_0002__seems->r_0015_0005__if
[arg0]
r_0015_0004__that_r_0015_0028__was
that was
r_0015_0005__if->r_0015_0004__that_r_0015_0028__was
[scope]
r_0015_0010__was
was
r_0015_0005__if->r_0015_0010__was
[restriction]
r_0015_0017__then
then
r_0015_0004__that_r_0015_0028__was->r_0015_0017__then
[nim]
r_0015_0018__the_r_0015_0019__primary
the primary
r_0015_0004__that_r_0015_0028__was->r_0015_0018__the_r_0015_0019__primary
[arg0]
r_0015_0029__a_r_0015_0030__navy
a navy
r_0015_0004__that_r_0015_0028__was->r_0015_0029__a_r_0015_0030__navy
[prd]
r_0015_0020__essential
essential
r_0015_0018__the_r_0015_0019__primary->r_0015_0020__essential
[attrib]
r_0015_0033__command
command
r_0015_0029__a_r_0015_0030__navy->r_0015_0033__command
in
r_0015_0011__compelled
compelled
r_0015_0010__was->r_0015_0011__compelled
[scope]
r_0015_0006__an_r_0015_0007__expedition
an expedition
r_0015_0009__Brittany
Brittany
r_0015_0006__an_r_0015_0007__expedition->r_0015_0009__Brittany
to
r_0015_0011__compelled->r_0015_0006__an_r_0015_0007__expedition
[arg1]
r_0015_0012__to_r_0015_0013__attack
to attack
r_0015_0011__compelled->r_0015_0012__to_r_0015_0013__attack
[prd]
z_000_15_a_lob_g01_32
r_0015_0011__compelled->z_000_15_a_lob_g01_32
[arg0]
r_0015_0015__Calais
Calais
r_0015_0012__to_r_0015_0013__attack->r_0015_0015__Calais
via [nim]
x_000_15_a_lob_g01_36
__
r_0015_0012__to_r_0015_0013__attack->x_000_15_a_lob_g01_36
[arg0]
r_0015_0022__the_r_0015_0023__success
the success
r_0015_0020__essential->r_0015_0022__the_r_0015_0023__success
to
r_0015_0025__the_r_0015_0027__war
the war
r_0015_0022__the_r_0015_0023__success->r_0015_0025__the_r_0015_0027__war
of
r_0015_0026__French
French
r_0015_0025__the_r_0015_0027__war->r_0015_0026__French
[attrib]
r_0015_0032__unquestioned
unquestioned
r_0015_0033__command->r_0015_0032__unquestioned
[attrib]
r_0015_0035__the_r_0015_0036__Channel
the Channel
r_0015_0033__command->r_0015_0035__the_r_0015_0036__Channel
of
arc(r_0015_0002__seems, r_0015_0003__obvious, prd).
arc(r_0015_0002__seems, r_0015_0005__if, arg0).
arc(r_0015_0004__that_r_0015_0028__was, r_0015_0017__then, nim49).
arc(r_0015_0004__that_r_0015_0028__was, r_0015_0018__the_r_0015_0019__primary, arg0).
arc(r_0015_0004__that_r_0015_0028__was, r_0015_0029__a_r_0015_0030__navy, prd).
arc(r_0015_0005__if, r_0015_0004__that_r_0015_0028__was, scope).
arc(r_0015_0005__if, r_0015_0010__was, restriction).
arc(r_0015_0006__an_r_0015_0007__expedition, r_0015_0009__Brittany, r_0015_0008__to).
arc(r_0015_0010__was, r_0015_0011__compelled, scope).
arc(r_0015_0011__compelled, r_0015_0006__an_r_0015_0007__expedition, arg1).
arc(r_0015_0011__compelled, r_0015_0012__to_r_0015_0013__attack, prd).
arc(r_0015_0011__compelled, z_000_15_a_lob_g01_32, arg0).
arc(r_0015_0012__to_r_0015_0013__attack, r_0015_0015__Calais, r_0015_0014__via_nim44).
arc(r_0015_0012__to_r_0015_0013__attack, x_000_15_a_lob_g01_36, arg0).
arc(r_0015_0018__the_r_0015_0019__primary, r_0015_0020__essential, attrib57).
arc(r_0015_0020__essential, r_0015_0022__the_r_0015_0023__success, r_0015_0021__to).
arc(r_0015_0022__the_r_0015_0023__success, r_0015_0025__the_r_0015_0027__war, r_0015_0024__of).
arc(r_0015_0025__the_r_0015_0027__war, r_0015_0026__French, attrib74).
arc(r_0015_0029__a_r_0015_0030__navy, r_0015_0033__command, r_0015_0031__in).
arc(r_0015_0033__command, r_0015_0032__unquestioned, attrib90).
arc(r_0015_0033__command, r_0015_0035__the_r_0015_0036__Channel, r_0015_0034__of).
%3
r_0015_0002__seems
seems
r_0015_0003__obvious
obvious
r_0015_0002__seems->r_0015_0003__obvious
[prd]
r_0015_0005__if
if
r_0015_0002__seems->r_0015_0005__if
[arg0]
r_0015_0004__that_r_0015_0028__was
that was
r_0015_0005__if->r_0015_0004__that_r_0015_0028__was
[scope]
r_0015_0010__was_r_0015_0011__compelled
was compelled
r_0015_0005__if->r_0015_0010__was_r_0015_0011__compelled
[restriction]
r_0015_0017__then
then
r_0015_0004__that_r_0015_0028__was->r_0015_0017__then
[nim]
r_0015_0018__the_r_0015_0019__primary
the primary
r_0015_0004__that_r_0015_0028__was->r_0015_0018__the_r_0015_0019__primary
[arg0]
r_0015_0029__a_r_0015_0030__navy
a navy
r_0015_0004__that_r_0015_0028__was->r_0015_0029__a_r_0015_0030__navy
[prd]
r_0015_0020__essential
essential
r_0015_0018__the_r_0015_0019__primary->r_0015_0020__essential
[attrib]
r_0015_0033__command
command
r_0015_0029__a_r_0015_0030__navy->r_0015_0033__command
in
r_0015_0006__an_r_0015_0007__expedition
an expedition
r_0015_0010__was_r_0015_0011__compelled->r_0015_0006__an_r_0015_0007__expedition
[arg1]
r_0015_0012__to_r_0015_0013__attack
to attack
r_0015_0010__was_r_0015_0011__compelled->r_0015_0012__to_r_0015_0013__attack
[prd]
z_000_15_a_lob_g01_32
r_0015_0010__was_r_0015_0011__compelled->z_000_15_a_lob_g01_32
[arg0]
r_0015_0009__Brittany
Brittany
r_0015_0006__an_r_0015_0007__expedition->r_0015_0009__Brittany
to
r_0015_0015__Calais
Calais
r_0015_0012__to_r_0015_0013__attack->r_0015_0015__Calais
via [nim]
x_000_15_a_lob_g01_36
__
r_0015_0012__to_r_0015_0013__attack->x_000_15_a_lob_g01_36
[arg0]
r_0015_0022__the_r_0015_0023__success
the success
r_0015_0020__essential->r_0015_0022__the_r_0015_0023__success
to
r_0015_0025__the_r_0015_0027__war
the war
r_0015_0022__the_r_0015_0023__success->r_0015_0025__the_r_0015_0027__war
of
r_0015_0026__French
French
r_0015_0025__the_r_0015_0027__war->r_0015_0026__French
[attrib]
r_0015_0032__unquestioned
unquestioned
r_0015_0033__command->r_0015_0032__unquestioned
[attrib]
r_0015_0035__the_r_0015_0036__Channel
the Channel
r_0015_0033__command->r_0015_0035__the_r_0015_0036__Channel
of
fof(formula,axiom,
? [R_15_2_SEEMS,R_15_3_OBVIOUS] :
( obvious(R_15_3_OBVIOUS)
& ! [R_15_10_WAS_COMPELLED,Z_15_A_LOB_G01_32,R_15_6_AN_EXPEDITION,R_15_9_BRITTANY,R_15_12_TO_ATTACK,X_15_A_LOB_G01_36,R_15_15_CALAIS] :
( ( brittany(R_15_9_BRITTANY)
& calais(R_15_15_CALAIS)
& was_compelled(R_15_10_WAS_COMPELLED,Z_15_A_LOB_G01_32,R_15_6_AN_EXPEDITION,R_15_12_TO_ATTACK)
& an_expedition(R_15_6_AN_EXPEDITION)
& to(R_15_6_AN_EXPEDITION,R_15_9_BRITTANY)
& to_attack(R_15_12_TO_ATTACK,X_15_A_LOB_G01_36)
& via_nim44(R_15_12_TO_ATTACK,R_15_15_CALAIS) )
=> ? [R_15_4_THAT_WAS,R_15_18_THE_PRIMARY,R_15_20_ESSENTIAL,R_15_22_THE_SUCCESS,R_15_25_THE_WAR,R_15_26_FRENCH,R_15_17_THEN,R_15_29_A_NAVY,R_15_33_COMMAND,R_15_32_UNQUESTIONED,R_15_35_THE_CHANNEL] :
( french(R_15_26_FRENCH)
& then(R_15_17_THEN)
& unquestioned(R_15_32_UNQUESTIONED)
& the_Channel(R_15_35_THE_CHANNEL)
& that_was(R_15_4_THAT_WAS,R_15_18_THE_PRIMARY,R_15_29_A_NAVY)
& the_primary(R_15_18_THE_PRIMARY)
& attrib57(R_15_18_THE_PRIMARY,R_15_20_ESSENTIAL)
& essential(R_15_20_ESSENTIAL)
& to(R_15_20_ESSENTIAL,R_15_22_THE_SUCCESS)
& the_success(R_15_22_THE_SUCCESS)
& of(R_15_22_THE_SUCCESS,R_15_25_THE_WAR)
& the_war(R_15_25_THE_WAR)
& attrib74(R_15_25_THE_WAR,R_15_26_FRENCH)
& a_navy(R_15_29_A_NAVY)
& in(R_15_29_A_NAVY,R_15_33_COMMAND)
& command(R_15_33_COMMAND)
& attrib90(R_15_33_COMMAND,R_15_32_UNQUESTIONED)
& of(R_15_33_COMMAND,R_15_35_THE_CHANNEL)
& nim49(R_15_4_THAT_WAS,R_15_17_THEN) ) )
& arg0(ARG0)
& seems(R_15_2_SEEMS)
& prd(R_15_2_SEEMS,R_15_3_OBVIOUS) ) ).
n15_a_lob_g01
n15_a_lob_g01_4
It
n15_a_lob_g01_6
seems
n15_a_lob_g01_9
obvious
n15_a_lob_g01_13
that
n15_a_lob_g01_16
if
n15_a_lob_g01_20
an
n15_a_lob_g01_22
expedition
n15_a_lob_g01_25
to
n15_a_lob_g01_28
Brittany
n15_a_lob_g01_30
was
n15_a_lob_g01_33
*
n15_a_lob_g01_35
compelled
n15_a_lob_g01_38
to
n15_a_lob_g01_40
attack
n15_a_lob_g01_43
via
n15_a_lob_g01_46
Calais
n15_a_lob_g01_48
,
n15_a_lob_g01_51
then
n15_a_lob_g01_54
the
n15_a_lob_g01_56
primary
n15_a_lob_g01_59
essential
n15_a_lob_g01_62
to
n15_a_lob_g01_65
the
n15_a_lob_g01_67
success
n15_a_lob_g01_70
of
n15_a_lob_g01_73
the
n15_a_lob_g01_76
French
n15_a_lob_g01_78
war
n15_a_lob_g01_80
was
n15_a_lob_g01_83
a
n15_a_lob_g01_85
navy
n15_a_lob_g01_88
in
n15_a_lob_g01_92
unquestioned
n15_a_lob_g01_94
command
n15_a_lob_g01_97
of
n15_a_lob_g01_100
the
n15_a_lob_g01_102
Channel
n15_a_lob_g01_104
.
n15_a_lob_g01_1
IP-MAT
n15_a_lob_g01_2
NP-SBJ
n15_a_lob_g01_1->n15_a_lob_g01_2
n15_a_lob_g01_5
VBP;_La_
n15_a_lob_g01_1->n15_a_lob_g01_5
n15_a_lob_g01_7
ADJP-PRD
n15_a_lob_g01_1->n15_a_lob_g01_7
n15_a_lob_g01_10
CP-THT-NSBJ
n15_a_lob_g01_1->n15_a_lob_g01_10
n15_a_lob_g01_103
PUNC
n15_a_lob_g01_1->n15_a_lob_g01_103
n15_a_lob_g01_3
PRO;_provisional_
n15_a_lob_g01_2->n15_a_lob_g01_3
n15_a_lob_g01_3->n15_a_lob_g01_4
n15_a_lob_g01_5->n15_a_lob_g01_6
n15_a_lob_g01_8
ADJ
n15_a_lob_g01_7->n15_a_lob_g01_8
n15_a_lob_g01_8->n15_a_lob_g01_9
n15_a_lob_g01_11
IP-SUB
n15_a_lob_g01_10->n15_a_lob_g01_11
n15_a_lob_g01_12
C
n15_a_lob_g01_11->n15_a_lob_g01_12
n15_a_lob_g01_14
PP-SCON
n15_a_lob_g01_11->n15_a_lob_g01_14
n15_a_lob_g01_47
PUNC
n15_a_lob_g01_11->n15_a_lob_g01_47
n15_a_lob_g01_49
ADVP-NIM
n15_a_lob_g01_11->n15_a_lob_g01_49
n15_a_lob_g01_52
NP-SBJ
n15_a_lob_g01_11->n15_a_lob_g01_52
n15_a_lob_g01_79
BED;_Ln_
n15_a_lob_g01_11->n15_a_lob_g01_79
n15_a_lob_g01_81
NP-PRD
n15_a_lob_g01_11->n15_a_lob_g01_81
n15_a_lob_g01_12->n15_a_lob_g01_13
n15_a_lob_g01_15
P-CONN
n15_a_lob_g01_14->n15_a_lob_g01_15
n15_a_lob_g01_17
IP-ADV
n15_a_lob_g01_14->n15_a_lob_g01_17
n15_a_lob_g01_15->n15_a_lob_g01_16
n15_a_lob_g01_18
NP-SBJ
n15_a_lob_g01_17->n15_a_lob_g01_18
n15_a_lob_g01_29
BED;_cat_VePASS_
n15_a_lob_g01_17->n15_a_lob_g01_29
n15_a_lob_g01_31
IP-PPL-CAT
n15_a_lob_g01_17->n15_a_lob_g01_31
n15_a_lob_g01_19
D
n15_a_lob_g01_18->n15_a_lob_g01_19
n15_a_lob_g01_21
N
n15_a_lob_g01_18->n15_a_lob_g01_21
n15_a_lob_g01_23
PP
n15_a_lob_g01_18->n15_a_lob_g01_23
n15_a_lob_g01_19->n15_a_lob_g01_20
n15_a_lob_g01_21->n15_a_lob_g01_22
n15_a_lob_g01_24
P-ROLE
n15_a_lob_g01_23->n15_a_lob_g01_24
n15_a_lob_g01_26
NP
n15_a_lob_g01_23->n15_a_lob_g01_26
n15_a_lob_g01_24->n15_a_lob_g01_25
n15_a_lob_g01_27
NPR
n15_a_lob_g01_26->n15_a_lob_g01_27
n15_a_lob_g01_27->n15_a_lob_g01_28
n15_a_lob_g01_29->n15_a_lob_g01_30
n15_a_lob_g01_32
NP-LGS
n15_a_lob_g01_31->n15_a_lob_g01_32
n15_a_lob_g01_34
VVN;_Cn.t_
n15_a_lob_g01_31->n15_a_lob_g01_34
n15_a_lob_g01_36
IP-INF-PRD
n15_a_lob_g01_31->n15_a_lob_g01_36
n15_a_lob_g01_32->n15_a_lob_g01_33
n15_a_lob_g01_34->n15_a_lob_g01_35
n15_a_lob_g01_37
TO
n15_a_lob_g01_36->n15_a_lob_g01_37
n15_a_lob_g01_39
VB;_I_
n15_a_lob_g01_36->n15_a_lob_g01_39
n15_a_lob_g01_41
PP-NIM
n15_a_lob_g01_36->n15_a_lob_g01_41
n15_a_lob_g01_37->n15_a_lob_g01_38
n15_a_lob_g01_39->n15_a_lob_g01_40
n15_a_lob_g01_42
P-ROLE
n15_a_lob_g01_41->n15_a_lob_g01_42
n15_a_lob_g01_44
NP
n15_a_lob_g01_41->n15_a_lob_g01_44
n15_a_lob_g01_42->n15_a_lob_g01_43
n15_a_lob_g01_45
NPR
n15_a_lob_g01_44->n15_a_lob_g01_45
n15_a_lob_g01_45->n15_a_lob_g01_46
n15_a_lob_g01_47->n15_a_lob_g01_48
n15_a_lob_g01_50
ADV
n15_a_lob_g01_49->n15_a_lob_g01_50
n15_a_lob_g01_50->n15_a_lob_g01_51
n15_a_lob_g01_53
D
n15_a_lob_g01_52->n15_a_lob_g01_53
n15_a_lob_g01_55
N
n15_a_lob_g01_52->n15_a_lob_g01_55
n15_a_lob_g01_57
ADJP
n15_a_lob_g01_52->n15_a_lob_g01_57
n15_a_lob_g01_53->n15_a_lob_g01_54
n15_a_lob_g01_55->n15_a_lob_g01_56
n15_a_lob_g01_58
ADJ
n15_a_lob_g01_57->n15_a_lob_g01_58
n15_a_lob_g01_60
PP
n15_a_lob_g01_57->n15_a_lob_g01_60
n15_a_lob_g01_58->n15_a_lob_g01_59
n15_a_lob_g01_61
P-ROLE
n15_a_lob_g01_60->n15_a_lob_g01_61
n15_a_lob_g01_63
NP
n15_a_lob_g01_60->n15_a_lob_g01_63
n15_a_lob_g01_61->n15_a_lob_g01_62
n15_a_lob_g01_64
D
n15_a_lob_g01_63->n15_a_lob_g01_64
n15_a_lob_g01_66
N
n15_a_lob_g01_63->n15_a_lob_g01_66
n15_a_lob_g01_68
PP
n15_a_lob_g01_63->n15_a_lob_g01_68
n15_a_lob_g01_64->n15_a_lob_g01_65
n15_a_lob_g01_66->n15_a_lob_g01_67
n15_a_lob_g01_69
P-ROLE
n15_a_lob_g01_68->n15_a_lob_g01_69
n15_a_lob_g01_71
NP
n15_a_lob_g01_68->n15_a_lob_g01_71
n15_a_lob_g01_69->n15_a_lob_g01_70
n15_a_lob_g01_72
D
n15_a_lob_g01_71->n15_a_lob_g01_72
n15_a_lob_g01_74
ADJP
n15_a_lob_g01_71->n15_a_lob_g01_74
n15_a_lob_g01_77
N
n15_a_lob_g01_71->n15_a_lob_g01_77
n15_a_lob_g01_72->n15_a_lob_g01_73
n15_a_lob_g01_75
ADJ
n15_a_lob_g01_74->n15_a_lob_g01_75
n15_a_lob_g01_75->n15_a_lob_g01_76
n15_a_lob_g01_77->n15_a_lob_g01_78
n15_a_lob_g01_79->n15_a_lob_g01_80
n15_a_lob_g01_82
D
n15_a_lob_g01_81->n15_a_lob_g01_82
n15_a_lob_g01_84
N
n15_a_lob_g01_81->n15_a_lob_g01_84
n15_a_lob_g01_86
PP
n15_a_lob_g01_81->n15_a_lob_g01_86
n15_a_lob_g01_82->n15_a_lob_g01_83
n15_a_lob_g01_84->n15_a_lob_g01_85
n15_a_lob_g01_87
P-ROLE
n15_a_lob_g01_86->n15_a_lob_g01_87
n15_a_lob_g01_89
NP
n15_a_lob_g01_86->n15_a_lob_g01_89
n15_a_lob_g01_87->n15_a_lob_g01_88
n15_a_lob_g01_90
ADJP
n15_a_lob_g01_89->n15_a_lob_g01_90
n15_a_lob_g01_93
N
n15_a_lob_g01_89->n15_a_lob_g01_93
n15_a_lob_g01_95
PP
n15_a_lob_g01_89->n15_a_lob_g01_95
n15_a_lob_g01_91
ADJ
n15_a_lob_g01_90->n15_a_lob_g01_91
n15_a_lob_g01_91->n15_a_lob_g01_92
n15_a_lob_g01_93->n15_a_lob_g01_94
n15_a_lob_g01_96
P-ROLE
n15_a_lob_g01_95->n15_a_lob_g01_96
n15_a_lob_g01_98
NP
n15_a_lob_g01_95->n15_a_lob_g01_98
n15_a_lob_g01_96->n15_a_lob_g01_97
n15_a_lob_g01_99
D
n15_a_lob_g01_98->n15_a_lob_g01_99
n15_a_lob_g01_101
N
n15_a_lob_g01_98->n15_a_lob_g01_101
n15_a_lob_g01_99->n15_a_lob_g01_100
n15_a_lob_g01_101->n15_a_lob_g01_102
n15_a_lob_g01_103->n15_a_lob_g01_104
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
(VBP;_La_ seems;{seem})
(ADJP-PRD (ADJ obvious;{obvious}))
(CP-THT-NSBJ (IP-SUB (C that;{that})
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ (D an;{an})
(N expedition;{expedition})
(PP (P-ROLE to;{to})
(NP (NPR Brittany;{Brittany}))))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Cn.t_ compelled;{compel})
(IP-INF-PRD (TO to;{to})
(VB;_I_ attack;{attack})
(PP-NIM (P-ROLE via;{via})
(NP (NPR Calais;{Calais})))))))
(PUNC ,)
(ADVP-NIM (ADV then;{then}))
(NP-SBJ (D the;{the})
(N primary;{primary})
(ADJP (ADJ essential;{essential})
(PP (P-ROLE to;{to})
(NP (D the;{the})
(N success;{success})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ French;{french}))
(N war;{war})))))))
(BED;_Ln_ was;{be})
(NP-PRD (D a;{a})
(N navy;{navy})
(PP (P-ROLE in;{in})
(NP (ADJP (ADJ unquestioned;{unquestioned}))
(N command;{command})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N Channel;{channel}))))))))
(PUNC .))
(ID 15_a_lob_g01))