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.

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))


%3 z_0036_5009 r_0036_0016__promote promote z_0036_5009->r_0036_0016__promote [restriction] r_0036_0009__were were z_0036_5009->r_0036_0009__were [scope] r_0036_0018__competition competition r_0036_0016__promote->r_0036_0018__competition [arg1] r_0036_0006__the_r_0036_0008__games the games r_0036_0016__promote->r_0036_0006__the_r_0036_0008__games [arg0] r_0036_0010__constituted constituted r_0036_0009__were->r_0036_0010__constituted [scope] 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_0010__constituted->r_0036_0006__the_r_0036_0008__games [arg1] z_0036_5015___star_ * r_0036_0010__constituted->z_0036_5015___star_ [arg0] 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] r_0036_0005__and and r_0036_0005__and->z_0036_5009 [conj2] r_0036_0003__was was r_0036_0005__and->r_0036_0003__was [conj1] r_0036_0004__admired admired r_0036_0003__was->r_0036_0004__admired [scope] z_0036_5004___star_ * r_0036_0004__admired->z_0036_5004___star_ [arg0] r_0036_0002__prowess prowess r_0036_0004__admired->r_0036_0002__prowess [arg1] r_0036_0001__Athletic Athletic r_0036_0002__prowess->r_0036_0001__Athletic [attrib] 
arc(r_0036_0002__prowess,r_0036_0001__Athletic,attrib).
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_0036_5004___star_,arg0).
arc(r_0036_0005__and,r_0036_0003__was,conj1).
arc(r_0036_0005__and,z_0036_5009,conj2).
arc(r_0036_0006__the_r_0036_0008__games,r_0036_0007__Olympic,attrib).
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__nim).
arc(r_0036_0010__constituted,z_0036_5015___star_,arg0).
arc(r_0036_0016__promote,r_0036_0006__the_r_0036_0008__games,arg0).
arc(r_0036_0016__promote,r_0036_0018__competition,arg1).
arc(r_0036_0018__competition,r_0036_0017__friendly,attrib).
arc(z_0036_5009,r_0036_0009__were,scope).
arc(z_0036_5009,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_0036_5004___star_ * r_0036_0003__was_r_0036_0004__admired->z_0036_5004___star_ [arg0] r_0036_0005__and and r_0036_0005__and->r_0036_0003__was_r_0036_0004__admired [conj1] z_0036_5009 r_0036_0005__and->z_0036_5009 [conj2] r_0036_0009__were_r_0036_0010__constituted were constituted z_0036_5009->r_0036_0009__were_r_0036_0010__constituted [conj2] r_0036_0016__promote promote z_0036_5009->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_0036_5015___star_ * r_0036_0009__were_r_0036_0010__constituted->z_0036_5015___star_ [arg0] r_0036_0016__promote->r_0036_0006__the_r_0036_0008__games [arg0] r_0036_0018__competition competition 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_0036_0001__ATHLETIC,R_0036_0002__PROWESS,Z_0036_5004___STAR_,R_0036_0003__WAS_R_0036_0004__ADMIRED,R_0036_0007__OLYMPIC,R_0036_0006__THE_R_0036_0008__GAMES,R_0036_0012__776_R_0036_0013__B_DOT_C_DOT_,Z_0036_5015___STAR_,R_0036_0009__WERE_R_0036_0010__CONSTITUTED,R_0036_0017__FRIENDLY,R_0036_0018__COMPETITION,R_0036_0016__PROMOTE,Z_0036_5009,R_0036_0005__AND] :
      ( r_0036_0001__Athletic(R_0036_0001__ATHLETIC)
      & r_0036_0007__Olympic(R_0036_0007__OLYMPIC)
      & r_0036_0012__776_r_0036_0013__b_dot_c_dot_(R_0036_0012__776_R_0036_0013__B_DOT_C_DOT_)
      & r_0036_0017__friendly(R_0036_0017__FRIENDLY)
      & z_0036_5004___star_(Z_0036_5004___STAR_)
      & z_0036_5015___star_(Z_0036_5015___STAR_)
      & r_0036_0005__and(R_0036_0005__AND)
      & has_conj2(R_0036_0005__AND,Z_0036_5009)
      & z_0036_5009(Z_0036_5009)
      & has_conj1(Z_0036_5009,R_0036_0016__PROMOTE)
      & r_0036_0016__promote(R_0036_0016__PROMOTE)
      & has_arg1(R_0036_0016__PROMOTE,R_0036_0018__COMPETITION)
      & r_0036_0018__competition(R_0036_0018__COMPETITION)
      & has_attrib(R_0036_0018__COMPETITION,R_0036_0017__FRIENDLY)
      & has_arg0(R_0036_0016__PROMOTE,R_0036_0006__THE_R_0036_0008__GAMES)
      & r_0036_0006__the_r_0036_0008__games(R_0036_0006__THE_R_0036_0008__GAMES)
      & has_attrib(R_0036_0006__THE_R_0036_0008__GAMES,R_0036_0007__OLYMPIC)
      & has_conj2(Z_0036_5009,R_0036_0009__WERE_R_0036_0010__CONSTITUTED)
      & r_0036_0009__were_r_0036_0010__constituted(R_0036_0009__WERE_R_0036_0010__CONSTITUTED)
      & has_arg0(R_0036_0009__WERE_R_0036_0010__CONSTITUTED,Z_0036_5015___STAR_)
      & has_r_0036_0011__in__nim(R_0036_0009__WERE_R_0036_0010__CONSTITUTED,R_0036_0012__776_R_0036_0013__B_DOT_C_DOT_)
      & has_arg1(R_0036_0009__WERE_R_0036_0010__CONSTITUTED,R_0036_0006__THE_R_0036_0008__GAMES)
      & has_conj1(R_0036_0005__AND,R_0036_0003__WAS_R_0036_0004__ADMIRED)
      & r_0036_0003__was_r_0036_0004__admired(R_0036_0003__WAS_R_0036_0004__ADMIRED)
      & has_arg0(R_0036_0003__WAS_R_0036_0004__ADMIRED,Z_0036_5004___STAR_)
      & has_arg1(R_0036_0003__WAS_R_0036_0004__ADMIRED,R_0036_0002__PROWESS)
      & r_0036_0002__prowess(R_0036_0002__PROWESS)
      & has_attrib(R_0036_0002__PROWESS,R_0036_0001__ATHLETIC) ) ).