arc(r_0003_0002__curiosity, r_0003_0001__Their, gen).
arc(r_0003_0003__pushed, r_0003_0002__curiosity, arg0).
arc(r_0003_0003__pushed, r_0003_0004__them, arg1).
arc(r_0003_0003__pushed, z_000_3_a_history_of_greece_62, prd).
arc(r_0003_0005__to_r_0003_0006__build, r_0003_0007__vessels, arg1).
arc(r_0003_0005__to_r_0003_0006__build, x_000_3_a_history_of_greece_13, arg0).
arc(r_0003_0008__that_r_0003_0009__were, r_0003_0007__vessels, arg0).
arc(r_0003_0008__that_r_0003_0009__were, r_0003_0010__strong, prd).
arc(r_0003_0010__strong, r_0003_0011__enough, qual31).
arc(r_0003_0011__enough, r_0003_0017__and, emb34).
arc(r_0003_0013__ford, r_0003_0014__the_r_0003_0016__seas, arg1).
arc(r_0003_0013__ford, z_000_3_a_history_of_greece_34, arg0).
arc(r_0003_0014__the_r_0003_0016__seas, r_0003_0015__open, attrib44).
arc(r_0003_0017__and, r_0003_0013__ford, conj1).
arc(r_0003_0017__and, r_0003_0018__reach, conj2).
arc(r_0003_0018__reach, r_0003_0019__these_r_0003_0020__islands, arg1).
arc(r_0003_0018__reach, z_000_3_a_history_of_greece_34, arg0).
arc(r_0003_0022__marking, r_0003_0023__the_r_0003_0024__start, arg1).
arc(r_0003_0022__marking, z_000_3_a_history_of_greece_63, arg0).
arc(r_0003_0023__the_r_0003_0024__start, r_0003_0026__the_r_0003_0028__legacy, r_0003_0025__of).
arc(r_0003_0026__the_r_0003_0028__legacy, r_0003_0027__long, attrib77).
arc(r_0003_0026__the_r_0003_0028__legacy, r_0003_0030__Mediterranean_r_0003_0031__seafaring, r_0003_0029__of).
arc(z_000_3_a_history_of_greece_62, r_0003_0005__to_r_0003_0006__build, scope).
arc(z_000_3_a_history_of_greece_62, r_0003_0022__marking, restriction).

fof(formula,axiom,
    ? [R_3_3_PUSHED,R_3_2_CURIOSITY,R_3_1_THEIR,R_3_4_THEM,Z_3_A_HISTORY_OF_GREECE_62,R_3_22_MARKING,Z_3_A_HISTORY_OF_GREECE_63,R_3_23_THE_START,R_3_26_THE_LEGACY,R_3_27_LONG,R_3_30_MEDITERRANEAN_SEAFARING,R_3_5_TO_BUILD,X_3_A_HISTORY_OF_GREECE_13,R_3_8_THAT_WERE,R_3_7_VESSELS,R_3_10_STRONG,R_3_11_ENOUGH,R_3_17_AND,R_3_13_FORD,R_3_14_THE_SEAS,R_3_15_OPEN,R_3_18_REACH,Z_3_A_HISTORY_OF_GREECE_34,R_3_19_THESE_ISLANDS] :
      ( their(R_3_1_THEIR)
      & them(R_3_4_THEM)
      & long(R_3_27_LONG)
      & mediterranean_seafaring(R_3_30_MEDITERRANEAN_SEAFARING)
      & vessels(R_3_7_VESSELS)
      & open(R_3_15_OPEN)
      & these_islands(R_3_19_THESE_ISLANDS)
      & pushed(R_3_3_PUSHED,R_3_2_CURIOSITY,R_3_4_THEM,Z_3_A_HISTORY_OF_GREECE_62)
      & curiosity(R_3_2_CURIOSITY)
      & gen(R_3_2_CURIOSITY,R_3_1_THEIR)
      & z_3_a_history_of_greece_62(Z_3_A_HISTORY_OF_GREECE_62)
      & conj1(Z_3_A_HISTORY_OF_GREECE_62,R_3_22_MARKING)
      & marking(R_3_22_MARKING,Z_3_A_HISTORY_OF_GREECE_63,R_3_23_THE_START)
      & the_start(R_3_23_THE_START)
      & of(R_3_23_THE_START,R_3_26_THE_LEGACY)
      & the_legacy(R_3_26_THE_LEGACY)
      & attrib77(R_3_26_THE_LEGACY,R_3_27_LONG)
      & of(R_3_26_THE_LEGACY,R_3_30_MEDITERRANEAN_SEAFARING)
      & conj2(Z_3_A_HISTORY_OF_GREECE_62,R_3_5_TO_BUILD)
      & to_build(R_3_5_TO_BUILD,X_3_A_HISTORY_OF_GREECE_13,R_3_7_VESSELS)
      & that_were(R_3_8_THAT_WERE,R_3_7_VESSELS,R_3_10_STRONG)
      & strong(R_3_10_STRONG)
      & qual31(R_3_10_STRONG,R_3_11_ENOUGH)
      & enough(R_3_11_ENOUGH)
      & emb34(R_3_11_ENOUGH,R_3_17_AND)
      & and(R_3_17_AND)
      & conj1(R_3_17_AND,R_3_13_FORD)
      & ford(R_3_13_FORD,Z_3_A_HISTORY_OF_GREECE_34,R_3_14_THE_SEAS)
      & the_seas(R_3_14_THE_SEAS)
      & attrib44(R_3_14_THE_SEAS,R_3_15_OPEN)
      & conj2(R_3_17_AND,R_3_18_REACH)
      & reach(R_3_18_REACH,Z_3_A_HISTORY_OF_GREECE_34,R_3_19_THESE_ISLANDS) ) ).

( (IP-MAT (NP-SBJ (NP-GEN;{PMAN} (PRO;_genm_ Their;{their}))
                  (N curiosity;{curiosity}))
          (VBD;_Cn.t_ pushed;{push})
          (NP-OB1;{PMAN} (PRO them;{they}))
          (IP-INF-PRD (TO to;{to})
                      (VB;_Tn_ build;{build})
                      (NP-OB1 (NS vessels;{vessel})
                              (IP-REL (C that;{that})
                                      (NP-SBJ *T*)
                                      (BED;_La_ were;{be})
                                      (ADJP-PRD (ADJ strong;{strong})
                                                (ADVP (ADV enough;{enough})
                                                      (IP-INF (TO to;{to})
                                                              (ILYR (ILYR (VB;_Tn_ ford;{ford})
                                                                          (NP-OB1 (D the;{the})
                                                                                  (ADJP (ADJ open;{open}))
                                                                                  (NS seas;{sea})))
                                                                    (CONJP (CONJ and;{and})
                                                                           (ILYR (VB;_Tn_ reach;{reach})
                                                                                 (NP-OB1 (D these;{these})
                                                                                         (NS islands;{island}))))))))))
                      (PUNC ,)
                      (PP-SCON (IP-PPL3 (VAG;_Tn_ marking;{mark})
                                        (NP-OB1 (D the;{the})
                                                (N start;{start})
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (ADJP (ADJ long;{long}))
                                                        (N legacy;{legacy})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (NPR Mediterranean;{Mediterranean})
                                                                (N seafaring;{seafaring})))))))))
          (PUNC .))
  (ID 3_a_history_of_greece))