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 z_000_36_a_history_of_greece_46 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_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_0018__competition competition r_0036_0015__to_r_0036_0016__promote->r_0036_0018__competition [arg1] r_0036_0006__the_r_0036_0008__games the games r_0036_0015__to_r_0036_0016__promote->r_0036_0006__the_r_0036_0008__games [arg0] r_0036_0009__were_r_0036_0010__constituted->r_0036_0006__the_r_0036_0008__games [arg1] 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_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] r_0036_0017__friendly friendly r_0036_0018__competition->r_0036_0017__friendly [attrib] r_0036_0007__Olympic Olympic r_0036_0006__the_r_0036_0008__games->r_0036_0007__Olympic [attrib] r_0036_0005__and and r_0036_0005__and->z_000_36_a_history_of_greece_46 [conj2] r_0036_0003__was_r_0036_0004__admired was admired r_0036_0005__and->r_0036_0003__was_r_0036_0004__admired [conj1] 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_0002__prowess prowess r_0036_0003__was_r_0036_0004__admired->r_0036_0002__prowess [arg1] r_0036_0001__Athletic Athletic r_0036_0002__prowess->r_0036_0001__Athletic [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__1_1_1_1_1_1_1 Athletic n36_a_history_of_greece__1_1_1_1_2_1 prowess n36_a_history_of_greece__1_1_1_2_1 was n36_a_history_of_greece__1_1_1_3_1_1 * n36_a_history_of_greece__1_1_1_3_2_1 admired n36_a_history_of_greece__1_1_2_1_1 and n36_a_history_of_greece__1_1_2_2_1_1_1 the n36_a_history_of_greece__1_1_2_2_1_2_1_1 Olympic n36_a_history_of_greece__1_1_2_2_1_3_1 games n36_a_history_of_greece__1_1_2_2_2_1 were n36_a_history_of_greece__1_1_2_2_3_1_1 * n36_a_history_of_greece__1_1_2_2_3_2_1 constituted n36_a_history_of_greece__1_1_2_2_3_3_1_1 in n36_a_history_of_greece__1_1_2_2_3_3_2_1_1 776 n36_a_history_of_greece__1_1_2_2_3_3_2_2_1 b.c. n36_a_history_of_greece__1_1_2_2_4_1 , n36_a_history_of_greece__1_1_2_2_5_1_1_1 to n36_a_history_of_greece__1_1_2_2_5_1_2_1 promote n36_a_history_of_greece__1_1_2_2_5_1_3_1_1_1 friendly n36_a_history_of_greece__1_1_2_2_5_1_3_2_1 competition n36_a_history_of_greece__1_2_1 . n36_a_history_of_greece__1 IP-MAT n36_a_history_of_greece__1_1 ILYR n36_a_history_of_greece__1->n36_a_history_of_greece__1_1 n36_a_history_of_greece__1_2 PUNC n36_a_history_of_greece__1->n36_a_history_of_greece__1_2 n36_a_history_of_greece__1_1_1 ILYR n36_a_history_of_greece__1_1->n36_a_history_of_greece__1_1_1 n36_a_history_of_greece__1_1_2 CONJP n36_a_history_of_greece__1_1->n36_a_history_of_greece__1_1_2 n36_a_history_of_greece__1_1_1_1 NP-SBJ n36_a_history_of_greece__1_1_1->n36_a_history_of_greece__1_1_1_1 n36_a_history_of_greece__1_1_1_2 BED;_cat_VePASS_ n36_a_history_of_greece__1_1_1->n36_a_history_of_greece__1_1_1_2 n36_a_history_of_greece__1_1_1_3 IP-PPL-CAT n36_a_history_of_greece__1_1_1->n36_a_history_of_greece__1_1_1_3 n36_a_history_of_greece__1_1_1_1_1 ADJP n36_a_history_of_greece__1_1_1_1->n36_a_history_of_greece__1_1_1_1_1 n36_a_history_of_greece__1_1_1_1_2 N n36_a_history_of_greece__1_1_1_1->n36_a_history_of_greece__1_1_1_1_2 n36_a_history_of_greece__1_1_1_1_1_1 ADJ n36_a_history_of_greece__1_1_1_1_1->n36_a_history_of_greece__1_1_1_1_1_1 n36_a_history_of_greece__1_1_1_1_1_1->n36_a_history_of_greece__1_1_1_1_1_1_1 n36_a_history_of_greece__1_1_1_1_2->n36_a_history_of_greece__1_1_1_1_2_1 n36_a_history_of_greece__1_1_1_2->n36_a_history_of_greece__1_1_1_2_1 n36_a_history_of_greece__1_1_1_3_1 NP-LGS n36_a_history_of_greece__1_1_1_3->n36_a_history_of_greece__1_1_1_3_1 n36_a_history_of_greece__1_1_1_3_2 VVN;_Tn_ n36_a_history_of_greece__1_1_1_3->n36_a_history_of_greece__1_1_1_3_2 n36_a_history_of_greece__1_1_1_3_1->n36_a_history_of_greece__1_1_1_3_1_1 n36_a_history_of_greece__1_1_1_3_2->n36_a_history_of_greece__1_1_1_3_2_1 n36_a_history_of_greece__1_1_2_1 CONJ n36_a_history_of_greece__1_1_2->n36_a_history_of_greece__1_1_2_1 n36_a_history_of_greece__1_1_2_2 ILYR n36_a_history_of_greece__1_1_2->n36_a_history_of_greece__1_1_2_2 n36_a_history_of_greece__1_1_2_1->n36_a_history_of_greece__1_1_2_1_1 n36_a_history_of_greece__1_1_2_2_1 NP-SBJ n36_a_history_of_greece__1_1_2_2->n36_a_history_of_greece__1_1_2_2_1 n36_a_history_of_greece__1_1_2_2_2 BED;_cat_VePASS_ n36_a_history_of_greece__1_1_2_2->n36_a_history_of_greece__1_1_2_2_2 n36_a_history_of_greece__1_1_2_2_3 IP-PPL-CAT n36_a_history_of_greece__1_1_2_2->n36_a_history_of_greece__1_1_2_2_3 n36_a_history_of_greece__1_1_2_2_4 PUNC n36_a_history_of_greece__1_1_2_2->n36_a_history_of_greece__1_1_2_2_4 n36_a_history_of_greece__1_1_2_2_5 PP-SCON n36_a_history_of_greece__1_1_2_2->n36_a_history_of_greece__1_1_2_2_5 n36_a_history_of_greece__1_1_2_2_1_1 D n36_a_history_of_greece__1_1_2_2_1->n36_a_history_of_greece__1_1_2_2_1_1 n36_a_history_of_greece__1_1_2_2_1_2 ADJP n36_a_history_of_greece__1_1_2_2_1->n36_a_history_of_greece__1_1_2_2_1_2 n36_a_history_of_greece__1_1_2_2_1_3 NS n36_a_history_of_greece__1_1_2_2_1->n36_a_history_of_greece__1_1_2_2_1_3 n36_a_history_of_greece__1_1_2_2_1_1->n36_a_history_of_greece__1_1_2_2_1_1_1 n36_a_history_of_greece__1_1_2_2_1_2_1 ADJ n36_a_history_of_greece__1_1_2_2_1_2->n36_a_history_of_greece__1_1_2_2_1_2_1 n36_a_history_of_greece__1_1_2_2_1_2_1->n36_a_history_of_greece__1_1_2_2_1_2_1_1 n36_a_history_of_greece__1_1_2_2_1_3->n36_a_history_of_greece__1_1_2_2_1_3_1 n36_a_history_of_greece__1_1_2_2_2->n36_a_history_of_greece__1_1_2_2_2_1 n36_a_history_of_greece__1_1_2_2_3_1 NP-LGS n36_a_history_of_greece__1_1_2_2_3->n36_a_history_of_greece__1_1_2_2_3_1 n36_a_history_of_greece__1_1_2_2_3_2 VVN;_Tn_ n36_a_history_of_greece__1_1_2_2_3->n36_a_history_of_greece__1_1_2_2_3_2 n36_a_history_of_greece__1_1_2_2_3_3 PP-NIM n36_a_history_of_greece__1_1_2_2_3->n36_a_history_of_greece__1_1_2_2_3_3 n36_a_history_of_greece__1_1_2_2_3_1->n36_a_history_of_greece__1_1_2_2_3_1_1 n36_a_history_of_greece__1_1_2_2_3_2->n36_a_history_of_greece__1_1_2_2_3_2_1 n36_a_history_of_greece__1_1_2_2_3_3_1 P-ROLE n36_a_history_of_greece__1_1_2_2_3_3->n36_a_history_of_greece__1_1_2_2_3_3_1 n36_a_history_of_greece__1_1_2_2_3_3_2 NP n36_a_history_of_greece__1_1_2_2_3_3->n36_a_history_of_greece__1_1_2_2_3_3_2 n36_a_history_of_greece__1_1_2_2_3_3_1->n36_a_history_of_greece__1_1_2_2_3_3_1_1 n36_a_history_of_greece__1_1_2_2_3_3_2_1 NPR n36_a_history_of_greece__1_1_2_2_3_3_2->n36_a_history_of_greece__1_1_2_2_3_3_2_1 n36_a_history_of_greece__1_1_2_2_3_3_2_2 NPR n36_a_history_of_greece__1_1_2_2_3_3_2->n36_a_history_of_greece__1_1_2_2_3_3_2_2 n36_a_history_of_greece__1_1_2_2_3_3_2_1->n36_a_history_of_greece__1_1_2_2_3_3_2_1_1 n36_a_history_of_greece__1_1_2_2_3_3_2_2->n36_a_history_of_greece__1_1_2_2_3_3_2_2_1 n36_a_history_of_greece__1_1_2_2_4->n36_a_history_of_greece__1_1_2_2_4_1 n36_a_history_of_greece__1_1_2_2_5_1 IP-INF n36_a_history_of_greece__1_1_2_2_5->n36_a_history_of_greece__1_1_2_2_5_1 n36_a_history_of_greece__1_1_2_2_5_1_1 TO n36_a_history_of_greece__1_1_2_2_5_1->n36_a_history_of_greece__1_1_2_2_5_1_1 n36_a_history_of_greece__1_1_2_2_5_1_2 VB;_Tn_ n36_a_history_of_greece__1_1_2_2_5_1->n36_a_history_of_greece__1_1_2_2_5_1_2 n36_a_history_of_greece__1_1_2_2_5_1_3 NP-OB1 n36_a_history_of_greece__1_1_2_2_5_1->n36_a_history_of_greece__1_1_2_2_5_1_3 n36_a_history_of_greece__1_1_2_2_5_1_1->n36_a_history_of_greece__1_1_2_2_5_1_1_1 n36_a_history_of_greece__1_1_2_2_5_1_2->n36_a_history_of_greece__1_1_2_2_5_1_2_1 n36_a_history_of_greece__1_1_2_2_5_1_3_1 ADJP n36_a_history_of_greece__1_1_2_2_5_1_3->n36_a_history_of_greece__1_1_2_2_5_1_3_1 n36_a_history_of_greece__1_1_2_2_5_1_3_2 N n36_a_history_of_greece__1_1_2_2_5_1_3->n36_a_history_of_greece__1_1_2_2_5_1_3_2 n36_a_history_of_greece__1_1_2_2_5_1_3_1_1 ADJ n36_a_history_of_greece__1_1_2_2_5_1_3_1->n36_a_history_of_greece__1_1_2_2_5_1_3_1_1 n36_a_history_of_greece__1_1_2_2_5_1_3_1_1->n36_a_history_of_greece__1_1_2_2_5_1_3_1_1_1 n36_a_history_of_greece__1_1_2_2_5_1_3_2->n36_a_history_of_greece__1_1_2_2_5_1_3_2_1 n36_a_history_of_greece__1_2->n36_a_history_of_greece__1_2_1 
( (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))