51_a_history_of_greece
%3
r_0051_0001__Although
Although
r_0051_0002__there_r_0051_0003__were
there were
r_0051_0001__Although->r_0051_0002__there_r_0051_0003__were
[restriction]
r_0051_0019__most_quant
most [quant]
r_0051_0001__Although->r_0051_0019__most_quant
[scope]
r_0051_0006__wrangles
wrangles
r_0051_0002__there_r_0051_0003__were->r_0051_0006__wrangles
[arg0]
r_0051_0010__controlled
controlled
r_0051_0019__most_quant->r_0051_0010__controlled
[scope]
z_000_51_a_history_of_greece_51
r_0051_0019__most_quant->z_000_51_a_history_of_greece_51
[restriction]
r_0051_0004__minor
minor
r_0051_0006__wrangles->r_0051_0004__minor
[attrib]
r_0051_0005__internal
internal
r_0051_0006__wrangles->r_0051_0005__internal
[attrib]
r_0051_0008__the_r_0051_0009__league
the league
r_0051_0010__controlled->r_0051_0008__the_r_0051_0009__league
[arg0]
r_0051_0013__and
and
r_0051_0010__controlled->r_0051_0013__and
[arg1]
r_0051_0010__controlled->z_000_51_a_history_of_greece_51
for [nim]
r_0051_0011__the_r_0051_0012__Aegean
the Aegean
r_0051_0013__and->r_0051_0011__the_r_0051_0012__Aegean
[conj1]
r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire
the Athenian Empire
r_0051_0013__and->r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire
[conj2]
r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c
the fifth century b.c
z_000_51_a_history_of_greece_51->r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c
of
r_0051_0015__greater
greater
r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire->r_0051_0015__greater
[attrib]
arc(r_0051_0001__Although, r_0051_0002__there_r_0051_0003__were, restriction).
arc(r_0051_0001__Although, r_0051_0019__most_quant, scope).
arc(r_0051_0002__there_r_0051_0003__were, r_0051_0006__wrangles, arg0).
arc(r_0051_0006__wrangles, r_0051_0004__minor, attrib11).
arc(r_0051_0006__wrangles, r_0051_0005__internal, attrib14).
arc(r_0051_0010__controlled, r_0051_0008__the_r_0051_0009__league, arg0).
arc(r_0051_0010__controlled, r_0051_0013__and, arg1).
arc(r_0051_0010__controlled, z_000_51_a_history_of_greece_51, r_0051_0018__for_nim51).
arc(r_0051_0013__and, r_0051_0011__the_r_0051_0012__Aegean, conj1).
arc(r_0051_0013__and, r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire, conj2).
arc(r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire, r_0051_0015__greater, attrib41).
arc(r_0051_0019__most_quant, r_0051_0010__controlled, scope).
arc(r_0051_0019__most_quant, z_000_51_a_history_of_greece_51, restriction).
arc(z_000_51_a_history_of_greece_51, r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c, r_0051_0020__of).
%3
r_0051_0001__Although
Although
r_0051_0002__there_r_0051_0003__were
there were
r_0051_0001__Although->r_0051_0002__there_r_0051_0003__were
[conj1]
r_0051_0019__most_quant
most [quant]
r_0051_0001__Although->r_0051_0019__most_quant
[conj2]
r_0051_0006__wrangles
wrangles
r_0051_0002__there_r_0051_0003__were->r_0051_0006__wrangles
[arg0]
r_0051_0010__controlled
controlled
r_0051_0019__most_quant->r_0051_0010__controlled
[scope]
z_000_51_a_history_of_greece_51
r_0051_0019__most_quant->z_000_51_a_history_of_greece_51
[restriction]
r_0051_0004__minor
minor
r_0051_0006__wrangles->r_0051_0004__minor
[attrib]
r_0051_0005__internal
internal
r_0051_0006__wrangles->r_0051_0005__internal
[attrib]
r_0051_0008__the_r_0051_0009__league
the league
r_0051_0010__controlled->r_0051_0008__the_r_0051_0009__league
[arg0]
r_0051_0013__and
and
r_0051_0010__controlled->r_0051_0013__and
[arg1]
r_0051_0010__controlled->z_000_51_a_history_of_greece_51
for [nim]
r_0051_0011__the_r_0051_0012__Aegean
the Aegean
r_0051_0013__and->r_0051_0011__the_r_0051_0012__Aegean
[conj1]
r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire
the Athenian Empire
r_0051_0013__and->r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire
[conj2]
r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c
the fifth century b.c
z_000_51_a_history_of_greece_51->r_0051_0021__the_r_0051_0022__fifth_century_r_0051_0023__b_dot_c
of
r_0051_0015__greater
greater
r_0051_0014__the_r_0051_0016__Athenian_r_0051_0017__Empire->r_0051_0015__greater
[attrib]
fof(formula,axiom,
? [R_51_1_ALTHOUGH,R_51_2_THERE_WERE,R_51_6_WRANGLES,R_51_4_MINOR,R_51_5_INTERNAL] :
( minor(R_51_4_MINOR)
& internal(R_51_5_INTERNAL)
& ! [Z_51_A_HISTORY_OF_GREECE_51,R_51_21_THE_FIFTH_CENTURY_B_DOT_C] :
( ( the_fifth_century_b_dot_c(R_51_21_THE_FIFTH_CENTURY_B_DOT_C)
& z_51_a_history_of_greece_51(Z_51_A_HISTORY_OF_GREECE_51)
& of(Z_51_A_HISTORY_OF_GREECE_51,R_51_21_THE_FIFTH_CENTURY_B_DOT_C) )
=> ? [R_51_10_CONTROLLED,R_51_8_THE_LEAGUE,R_51_13_AND,R_51_11_THE_AEGEAN,R_51_14_THE_ATHENIAN_EMPIRE,R_51_15_GREATER] :
( the_league(R_51_8_THE_LEAGUE)
& the_Aegean(R_51_11_THE_AEGEAN)
& greater(R_51_15_GREATER)
& controlled(R_51_10_CONTROLLED,R_51_8_THE_LEAGUE,R_51_13_AND)
& and(R_51_13_AND)
& conj1(R_51_13_AND,R_51_11_THE_AEGEAN)
& conj2(R_51_13_AND,R_51_14_THE_ATHENIAN_EMPIRE)
& the_Athenian_Empire(R_51_14_THE_ATHENIAN_EMPIRE)
& attrib41(R_51_14_THE_ATHENIAN_EMPIRE,R_51_15_GREATER)
& for_nim51(R_51_10_CONTROLLED,Z_51_A_HISTORY_OF_GREECE_51) ) )
& conj2(CONJ2)
& although(R_51_1_ALTHOUGH)
& conj1(R_51_1_ALTHOUGH,R_51_2_THERE_WERE)
& there_were(R_51_2_THERE_WERE,R_51_6_WRANGLES)
& wrangles(R_51_6_WRANGLES)
& attrib11(R_51_6_WRANGLES,R_51_4_MINOR)
& attrib14(R_51_6_WRANGLES,R_51_5_INTERNAL) ) ).
n51_a_history_of_greece
n51_a_history_of_greece_4
Although
n51_a_history_of_greece_7
there
n51_a_history_of_greece_9
were
n51_a_history_of_greece_13
minor
n51_a_history_of_greece_16
internal
n51_a_history_of_greece_18
wrangles
n51_a_history_of_greece_20
,
n51_a_history_of_greece_23
the
n51_a_history_of_greece_25
league
n51_a_history_of_greece_27
controlled
n51_a_history_of_greece_32
the
n51_a_history_of_greece_34
Aegean
n51_a_history_of_greece_37
and
n51_a_history_of_greece_40
the
n51_a_history_of_greece_43
greater
n51_a_history_of_greece_45
Athenian
n51_a_history_of_greece_47
Empire
n51_a_history_of_greece_50
for
n51_a_history_of_greece_53
most
n51_a_history_of_greece_56
of
n51_a_history_of_greece_59
the
n51_a_history_of_greece_61
fifth_century
n51_a_history_of_greece_63
b.c
n51_a_history_of_greece_65
.
n51_a_history_of_greece_1
IP-MAT
n51_a_history_of_greece_2
PP-SCON
n51_a_history_of_greece_1->n51_a_history_of_greece_2
n51_a_history_of_greece_19
PUNC
n51_a_history_of_greece_1->n51_a_history_of_greece_19
n51_a_history_of_greece_21
NP-SBJ
n51_a_history_of_greece_1->n51_a_history_of_greece_21
n51_a_history_of_greece_26
VBD;_Tn_
n51_a_history_of_greece_1->n51_a_history_of_greece_26
n51_a_history_of_greece_28
NP-OB1
n51_a_history_of_greece_1->n51_a_history_of_greece_28
n51_a_history_of_greece_48
PP-NIM
n51_a_history_of_greece_1->n51_a_history_of_greece_48
n51_a_history_of_greece_64
PUNC
n51_a_history_of_greece_1->n51_a_history_of_greece_64
n51_a_history_of_greece_3
P-CONN
n51_a_history_of_greece_2->n51_a_history_of_greece_3
n51_a_history_of_greece_5
IP-ADV
n51_a_history_of_greece_2->n51_a_history_of_greece_5
n51_a_history_of_greece_3->n51_a_history_of_greece_4
n51_a_history_of_greece_6
EX
n51_a_history_of_greece_5->n51_a_history_of_greece_6
n51_a_history_of_greece_8
BED;_ex_V_
n51_a_history_of_greece_5->n51_a_history_of_greece_8
n51_a_history_of_greece_10
NP-ESBJ
n51_a_history_of_greece_5->n51_a_history_of_greece_10
n51_a_history_of_greece_6->n51_a_history_of_greece_7
n51_a_history_of_greece_8->n51_a_history_of_greece_9
n51_a_history_of_greece_11
ADJP
n51_a_history_of_greece_10->n51_a_history_of_greece_11
n51_a_history_of_greece_14
ADJP
n51_a_history_of_greece_10->n51_a_history_of_greece_14
n51_a_history_of_greece_17
NS
n51_a_history_of_greece_10->n51_a_history_of_greece_17
n51_a_history_of_greece_12
ADJ
n51_a_history_of_greece_11->n51_a_history_of_greece_12
n51_a_history_of_greece_12->n51_a_history_of_greece_13
n51_a_history_of_greece_15
ADJ
n51_a_history_of_greece_14->n51_a_history_of_greece_15
n51_a_history_of_greece_15->n51_a_history_of_greece_16
n51_a_history_of_greece_17->n51_a_history_of_greece_18
n51_a_history_of_greece_19->n51_a_history_of_greece_20
n51_a_history_of_greece_22
D
n51_a_history_of_greece_21->n51_a_history_of_greece_22
n51_a_history_of_greece_24
N
n51_a_history_of_greece_21->n51_a_history_of_greece_24
n51_a_history_of_greece_22->n51_a_history_of_greece_23
n51_a_history_of_greece_24->n51_a_history_of_greece_25
n51_a_history_of_greece_26->n51_a_history_of_greece_27
n51_a_history_of_greece_29
NLYR
n51_a_history_of_greece_28->n51_a_history_of_greece_29
n51_a_history_of_greece_30
NLYR
n51_a_history_of_greece_29->n51_a_history_of_greece_30
n51_a_history_of_greece_35
CONJP
n51_a_history_of_greece_29->n51_a_history_of_greece_35
n51_a_history_of_greece_31
D
n51_a_history_of_greece_30->n51_a_history_of_greece_31
n51_a_history_of_greece_33
NPR
n51_a_history_of_greece_30->n51_a_history_of_greece_33
n51_a_history_of_greece_31->n51_a_history_of_greece_32
n51_a_history_of_greece_33->n51_a_history_of_greece_34
n51_a_history_of_greece_36
CONJ
n51_a_history_of_greece_35->n51_a_history_of_greece_36
n51_a_history_of_greece_38
NLYR
n51_a_history_of_greece_35->n51_a_history_of_greece_38
n51_a_history_of_greece_36->n51_a_history_of_greece_37
n51_a_history_of_greece_39
D
n51_a_history_of_greece_38->n51_a_history_of_greece_39
n51_a_history_of_greece_41
ADJP
n51_a_history_of_greece_38->n51_a_history_of_greece_41
n51_a_history_of_greece_44
NPR
n51_a_history_of_greece_38->n51_a_history_of_greece_44
n51_a_history_of_greece_46
NPR
n51_a_history_of_greece_38->n51_a_history_of_greece_46
n51_a_history_of_greece_39->n51_a_history_of_greece_40
n51_a_history_of_greece_42
ADJR
n51_a_history_of_greece_41->n51_a_history_of_greece_42
n51_a_history_of_greece_42->n51_a_history_of_greece_43
n51_a_history_of_greece_44->n51_a_history_of_greece_45
n51_a_history_of_greece_46->n51_a_history_of_greece_47
n51_a_history_of_greece_49
P-ROLE
n51_a_history_of_greece_48->n51_a_history_of_greece_49
n51_a_history_of_greece_51
NP
n51_a_history_of_greece_48->n51_a_history_of_greece_51
n51_a_history_of_greece_49->n51_a_history_of_greece_50
n51_a_history_of_greece_52
Q;_nphd_
n51_a_history_of_greece_51->n51_a_history_of_greece_52
n51_a_history_of_greece_54
PP
n51_a_history_of_greece_51->n51_a_history_of_greece_54
n51_a_history_of_greece_52->n51_a_history_of_greece_53
n51_a_history_of_greece_55
P-ROLE
n51_a_history_of_greece_54->n51_a_history_of_greece_55
n51_a_history_of_greece_57
NP
n51_a_history_of_greece_54->n51_a_history_of_greece_57
n51_a_history_of_greece_55->n51_a_history_of_greece_56
n51_a_history_of_greece_58
D
n51_a_history_of_greece_57->n51_a_history_of_greece_58
n51_a_history_of_greece_60
NPR
n51_a_history_of_greece_57->n51_a_history_of_greece_60
n51_a_history_of_greece_62
NPR
n51_a_history_of_greece_57->n51_a_history_of_greece_62
n51_a_history_of_greece_58->n51_a_history_of_greece_59
n51_a_history_of_greece_60->n51_a_history_of_greece_61
n51_a_history_of_greece_62->n51_a_history_of_greece_63
n51_a_history_of_greece_64->n51_a_history_of_greece_65
( (IP-MAT (PP-SCON (P-CONN Although;{although})
(IP-ADV (EX there;{there})
(BED;_ex_V_ were;{be})
(NP-ESBJ (ADJP (ADJ minor;{minor}))
(ADJP (ADJ internal;{internal}))
(NS wrangles;{wrangle}))))
(PUNC ,)
(NP-SBJ;{ALLIANCE} (D the;{the})
(N league;{league}))
(VBD;_Tn_ controlled;{control})
(NP-OB1 (NLYR (NLYR (D the;{the})
(NPR Aegean;{Aegean}))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(ADJP (ADJR greater;{great}))
(NPR Athenian;{Athenian})
(NPR Empire;{Empire})))))
(PP-NIM (P-ROLE for;{for})
(NP (Q;_nphd_ most;{most})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NPR fifth_century;{fifth_century})
(NPR b<dot>c)))))
(PUNC .))
(ID 51_a_history_of_greece))