Context                Previous, Next                Top


36_a_history_of_greece
Athletic prowess was admired and the Olympic games were constituted in 776 b.c., to promote friendly competition.

%3 r_0036_0002__prowess prowess r_0036_0001__Athletic Athletic r_0036_0002__prowess->r_0036_0001__Athletic [attrib] r_0036_0003__was was r_0036_0004__admired admired r_0036_0003__was->r_0036_0004__admired [scope] r_0036_0004__admired->r_0036_0002__prowess [arg1] z_000_36_a_history_of_greece_13 r_0036_0004__admired->z_000_36_a_history_of_greece_13 [arg0] r_0036_0005__and and r_0036_0005__and->r_0036_0003__was [conj1] z_000_36_a_history_of_greece_46 r_0036_0005__and->z_000_36_a_history_of_greece_46 [conj2] r_0036_0009__were were z_000_36_a_history_of_greece_46->r_0036_0009__were [scope] r_0036_0015__to_r_0036_0016__promote to promote z_000_36_a_history_of_greece_46->r_0036_0015__to_r_0036_0016__promote [restriction] r_0036_0006__the_r_0036_0008__games the games r_0036_0007__Olympic Olympic r_0036_0006__the_r_0036_0008__games->r_0036_0007__Olympic [attrib] r_0036_0010__constituted constituted r_0036_0009__were->r_0036_0010__constituted [scope] r_0036_0010__constituted->r_0036_0006__the_r_0036_0008__games [arg1] r_0036_0012__776_r_0036_0013__b_dot_c_dot_ 776 b.c. r_0036_0010__constituted->r_0036_0012__776_r_0036_0013__b_dot_c_dot_ in [nim] z_000_36_a_history_of_greece_32 r_0036_0010__constituted->z_000_36_a_history_of_greece_32 [arg0] r_0036_0015__to_r_0036_0016__promote->r_0036_0006__the_r_0036_0008__games [arg0] r_0036_0018__competition competition r_0036_0015__to_r_0036_0016__promote->r_0036_0018__competition [arg1] r_0036_0017__friendly friendly r_0036_0018__competition->r_0036_0017__friendly [attrib] 
arc(r_0036_0002__prowess, r_0036_0001__Athletic, attrib5).
arc(r_0036_0003__was, r_0036_0004__admired, scope).
arc(r_0036_0004__admired, r_0036_0002__prowess, arg1).
arc(r_0036_0004__admired, z_000_36_a_history_of_greece_13, arg0).
arc(r_0036_0005__and, r_0036_0003__was, conj1).
arc(r_0036_0005__and, z_000_36_a_history_of_greece_46, conj2).
arc(r_0036_0006__the_r_0036_0008__games, r_0036_0007__Olympic, attrib24).
arc(r_0036_0009__were, r_0036_0010__constituted, scope).
arc(r_0036_0010__constituted, r_0036_0006__the_r_0036_0008__games, arg1).
arc(r_0036_0010__constituted, r_0036_0012__776_r_0036_0013__b_dot_c_dot_, r_0036_0011__in_nim39).
arc(r_0036_0010__constituted, z_000_36_a_history_of_greece_32, arg0).
arc(r_0036_0015__to_r_0036_0016__promote, r_0036_0006__the_r_0036_0008__games, arg0).
arc(r_0036_0015__to_r_0036_0016__promote, r_0036_0018__competition, arg1).
arc(r_0036_0018__competition, r_0036_0017__friendly, attrib53).
arc(z_000_36_a_history_of_greece_46, r_0036_0009__were, scope).
arc(z_000_36_a_history_of_greece_46, r_0036_0015__to_r_0036_0016__promote, restriction).


%3 r_0036_0002__prowess prowess r_0036_0001__Athletic Athletic r_0036_0002__prowess->r_0036_0001__Athletic [attrib] r_0036_0003__was_r_0036_0004__admired was admired r_0036_0003__was_r_0036_0004__admired->r_0036_0002__prowess [arg1] z_000_36_a_history_of_greece_13 r_0036_0003__was_r_0036_0004__admired->z_000_36_a_history_of_greece_13 [arg0] r_0036_0005__and and r_0036_0005__and->r_0036_0003__was_r_0036_0004__admired [conj1] z_000_36_a_history_of_greece_46 r_0036_0005__and->z_000_36_a_history_of_greece_46 [conj2] r_0036_0009__were_r_0036_0010__constituted were constituted z_000_36_a_history_of_greece_46->r_0036_0009__were_r_0036_0010__constituted [conj2] r_0036_0015__to_r_0036_0016__promote to promote z_000_36_a_history_of_greece_46->r_0036_0015__to_r_0036_0016__promote [conj1] r_0036_0006__the_r_0036_0008__games the games r_0036_0007__Olympic Olympic r_0036_0006__the_r_0036_0008__games->r_0036_0007__Olympic [attrib] r_0036_0009__were_r_0036_0010__constituted->r_0036_0006__the_r_0036_0008__games [arg1] r_0036_0012__776_r_0036_0013__b_dot_c_dot_ 776 b.c. r_0036_0009__were_r_0036_0010__constituted->r_0036_0012__776_r_0036_0013__b_dot_c_dot_ in [nim] z_000_36_a_history_of_greece_32 r_0036_0009__were_r_0036_0010__constituted->z_000_36_a_history_of_greece_32 [arg0] r_0036_0015__to_r_0036_0016__promote->r_0036_0006__the_r_0036_0008__games [arg0] r_0036_0018__competition competition r_0036_0015__to_r_0036_0016__promote->r_0036_0018__competition [arg1] r_0036_0017__friendly friendly r_0036_0018__competition->r_0036_0017__friendly [attrib] 
fof(formula,axiom,
    ? [R_36_5_AND,R_36_3_WAS_ADMIRED,Z_36_A_HISTORY_OF_GREECE_13,R_36_2_PROWESS,R_36_1_ATHLETIC,Z_36_A_HISTORY_OF_GREECE_46,R_36_15_TO_PROMOTE,R_36_18_COMPETITION,R_36_17_FRIENDLY,R_36_9_WERE_CONSTITUTED,Z_36_A_HISTORY_OF_GREECE_32,R_36_6_THE_GAMES,R_36_7_OLYMPIC,R_36_12_776_B_DOT_C_DOT_] :
      ( athletic(R_36_1_ATHLETIC)
      & friendly(R_36_17_FRIENDLY)
      & olympic(R_36_7_OLYMPIC)
      & 776_b_dot_c_dot_(R_36_12_776_B_DOT_C_DOT_)
      & and(R_36_5_AND)
      & conj1(R_36_5_AND,R_36_3_WAS_ADMIRED)
      & was_admired(R_36_3_WAS_ADMIRED,Z_36_A_HISTORY_OF_GREECE_13,R_36_2_PROWESS)
      & prowess(R_36_2_PROWESS)
      & attrib5(R_36_2_PROWESS,R_36_1_ATHLETIC)
      & conj2(R_36_5_AND,Z_36_A_HISTORY_OF_GREECE_46)
      & z_36_a_history_of_greece_46(Z_36_A_HISTORY_OF_GREECE_46)
      & conj1(Z_36_A_HISTORY_OF_GREECE_46,R_36_15_TO_PROMOTE)
      & to_promote(R_36_15_TO_PROMOTE,R_36_6_THE_GAMES,R_36_18_COMPETITION)
      & the_games(R_36_6_THE_GAMES)
      & attrib24(R_36_6_THE_GAMES,R_36_7_OLYMPIC)
      & competition(R_36_18_COMPETITION)
      & attrib53(R_36_18_COMPETITION,R_36_17_FRIENDLY)
      & conj2(Z_36_A_HISTORY_OF_GREECE_46,R_36_9_WERE_CONSTITUTED)
      & were_constituted(R_36_9_WERE_CONSTITUTED,Z_36_A_HISTORY_OF_GREECE_32,R_36_6_THE_GAMES)
      & in_nim39(R_36_9_WERE_CONSTITUTED,R_36_12_776_B_DOT_C_DOT_) ) ).


n36_a_history_of_greece n36_a_history_of_greece_7 Athletic n36_a_history_of_greece_9 prowess n36_a_history_of_greece_11 was n36_a_history_of_greece_14 * n36_a_history_of_greece_16 admired n36_a_history_of_greece_19 and n36_a_history_of_greece_23 the n36_a_history_of_greece_26 Olympic n36_a_history_of_greece_28 games n36_a_history_of_greece_30 were n36_a_history_of_greece_33 * n36_a_history_of_greece_35 constituted n36_a_history_of_greece_38 in n36_a_history_of_greece_41 776 n36_a_history_of_greece_43 b.c. n36_a_history_of_greece_45 , n36_a_history_of_greece_49 to n36_a_history_of_greece_51 promote n36_a_history_of_greece_55 friendly n36_a_history_of_greece_57 competition n36_a_history_of_greece_59 . n36_a_history_of_greece_1 IP-MAT n36_a_history_of_greece_2 ILYR n36_a_history_of_greece_1->n36_a_history_of_greece_2 n36_a_history_of_greece_58 PUNC n36_a_history_of_greece_1->n36_a_history_of_greece_58 n36_a_history_of_greece_3 ILYR n36_a_history_of_greece_2->n36_a_history_of_greece_3 n36_a_history_of_greece_17 CONJP n36_a_history_of_greece_2->n36_a_history_of_greece_17 n36_a_history_of_greece_4 NP-SBJ n36_a_history_of_greece_3->n36_a_history_of_greece_4 n36_a_history_of_greece_10 BED;_cat_VePASS_ n36_a_history_of_greece_3->n36_a_history_of_greece_10 n36_a_history_of_greece_12 IP-PPL-CAT n36_a_history_of_greece_3->n36_a_history_of_greece_12 n36_a_history_of_greece_5 ADJP n36_a_history_of_greece_4->n36_a_history_of_greece_5 n36_a_history_of_greece_8 N n36_a_history_of_greece_4->n36_a_history_of_greece_8 n36_a_history_of_greece_6 ADJ n36_a_history_of_greece_5->n36_a_history_of_greece_6 n36_a_history_of_greece_6->n36_a_history_of_greece_7 n36_a_history_of_greece_8->n36_a_history_of_greece_9 n36_a_history_of_greece_10->n36_a_history_of_greece_11 n36_a_history_of_greece_13 NP-LGS n36_a_history_of_greece_12->n36_a_history_of_greece_13 n36_a_history_of_greece_15 VVN;_Tn_ n36_a_history_of_greece_12->n36_a_history_of_greece_15 n36_a_history_of_greece_13->n36_a_history_of_greece_14 n36_a_history_of_greece_15->n36_a_history_of_greece_16 n36_a_history_of_greece_18 CONJ n36_a_history_of_greece_17->n36_a_history_of_greece_18 n36_a_history_of_greece_20 ILYR n36_a_history_of_greece_17->n36_a_history_of_greece_20 n36_a_history_of_greece_18->n36_a_history_of_greece_19 n36_a_history_of_greece_21 NP-SBJ n36_a_history_of_greece_20->n36_a_history_of_greece_21 n36_a_history_of_greece_29 BED;_cat_VePASS_ n36_a_history_of_greece_20->n36_a_history_of_greece_29 n36_a_history_of_greece_31 IP-PPL-CAT n36_a_history_of_greece_20->n36_a_history_of_greece_31 n36_a_history_of_greece_44 PUNC n36_a_history_of_greece_20->n36_a_history_of_greece_44 n36_a_history_of_greece_46 PP-SCON n36_a_history_of_greece_20->n36_a_history_of_greece_46 n36_a_history_of_greece_22 D n36_a_history_of_greece_21->n36_a_history_of_greece_22 n36_a_history_of_greece_24 ADJP n36_a_history_of_greece_21->n36_a_history_of_greece_24 n36_a_history_of_greece_27 NS n36_a_history_of_greece_21->n36_a_history_of_greece_27 n36_a_history_of_greece_22->n36_a_history_of_greece_23 n36_a_history_of_greece_25 ADJ n36_a_history_of_greece_24->n36_a_history_of_greece_25 n36_a_history_of_greece_25->n36_a_history_of_greece_26 n36_a_history_of_greece_27->n36_a_history_of_greece_28 n36_a_history_of_greece_29->n36_a_history_of_greece_30 n36_a_history_of_greece_32 NP-LGS n36_a_history_of_greece_31->n36_a_history_of_greece_32 n36_a_history_of_greece_34 VVN;_Tn_ n36_a_history_of_greece_31->n36_a_history_of_greece_34 n36_a_history_of_greece_36 PP-NIM n36_a_history_of_greece_31->n36_a_history_of_greece_36 n36_a_history_of_greece_32->n36_a_history_of_greece_33 n36_a_history_of_greece_34->n36_a_history_of_greece_35 n36_a_history_of_greece_37 P-ROLE n36_a_history_of_greece_36->n36_a_history_of_greece_37 n36_a_history_of_greece_39 NP n36_a_history_of_greece_36->n36_a_history_of_greece_39 n36_a_history_of_greece_37->n36_a_history_of_greece_38 n36_a_history_of_greece_40 NPR n36_a_history_of_greece_39->n36_a_history_of_greece_40 n36_a_history_of_greece_42 NPR n36_a_history_of_greece_39->n36_a_history_of_greece_42 n36_a_history_of_greece_40->n36_a_history_of_greece_41 n36_a_history_of_greece_42->n36_a_history_of_greece_43 n36_a_history_of_greece_44->n36_a_history_of_greece_45 n36_a_history_of_greece_47 IP-INF n36_a_history_of_greece_46->n36_a_history_of_greece_47 n36_a_history_of_greece_48 TO n36_a_history_of_greece_47->n36_a_history_of_greece_48 n36_a_history_of_greece_50 VB;_Tn_ n36_a_history_of_greece_47->n36_a_history_of_greece_50 n36_a_history_of_greece_52 NP-OB1 n36_a_history_of_greece_47->n36_a_history_of_greece_52 n36_a_history_of_greece_48->n36_a_history_of_greece_49 n36_a_history_of_greece_50->n36_a_history_of_greece_51 n36_a_history_of_greece_53 ADJP n36_a_history_of_greece_52->n36_a_history_of_greece_53 n36_a_history_of_greece_56 N n36_a_history_of_greece_52->n36_a_history_of_greece_56 n36_a_history_of_greece_54 ADJ n36_a_history_of_greece_53->n36_a_history_of_greece_54 n36_a_history_of_greece_54->n36_a_history_of_greece_55 n36_a_history_of_greece_56->n36_a_history_of_greece_57 n36_a_history_of_greece_58->n36_a_history_of_greece_59 
( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Athletic;{athletic}))
                              (N prowess;{prowess}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ admired;{admire})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (ADJP (ADJ Olympic;{olympic}))
                                     (NS games;{game}))
                             (BED;_cat_VePASS_ were;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn_ constituted;{constitute})
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (NPR 776)
                                                     (NPR b<dot>c<dot>))))
                             (PUNC ,)
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_Tn_ promote;{promote})
                                              (NP-OB1 (ADJP (ADJ friendly;{friendly}))
                                                      (N competition;{competition})))))))
          (PUNC .))
  (ID 36_a_history_of_greece))