arc(r_0081_0002__created, r_0081_0001__This, arg0).
arc(r_0081_0002__created, r_0081_0003__a_r_0081_0004__pattern, arg1).
arc(r_0081_0003__a_r_0081_0004__pattern, r_0081_0011__a_r_0081_0013__port, r_0081_0010__of).
arc(r_0081_0005__seen, r_0081_0003__a_r_0081_0004__pattern, arg1).
arc(r_0081_0005__seen, r_0081_0006__today, nim17).
arc(r_0081_0005__seen, r_0081_0008__the_r_0081_0009__Aegean, r_0081_0007__throughout_nim23).
arc(r_0081_0005__seen, z_000_81_a_history_of_greece_13, arg0).
arc(r_0081_0011__a_r_0081_0013__port, r_0081_0012__small, attrib34).
arc(r_0081_0018__serves, r_0081_0011__a_r_0081_0013__port, arg0).
arc(r_0081_0018__serves, r_0081_0022__or, arg1).
arc(r_0081_0019__an_r_0081_0021__settlement, r_0081_0020__inland, attrib58).
arc(r_0081_0022__or, r_0081_0019__an_r_0081_0021__settlement, conj1).
arc(r_0081_0022__or, r_0081_0023__chora, conj2).
arc(r_0081_0025__making, r_0081_0011__a_r_0081_0013__port, arg0).
arc(r_0081_0025__making, r_0081_0027__easier, prd).
arc(r_0081_0025__making, r_0081_0028__to_r_0081_0029__protect, arg1).
arc(r_0081_0028__to_r_0081_0029__protect, r_0081_0030__the_r_0081_0031__island, arg1).
arc(r_0081_0028__to_r_0081_0029__protect, r_0081_0033__attack, r_0081_0032__from_clr94).
arc(r_0081_0028__to_r_0081_0029__protect, z_000_81_a_history_of_greece_75, arg0).
arc(z_000_81_a_history_of_greece_41, r_0081_0011__a_r_0081_0013__port, arg0).
arc(z_000_81_a_history_of_greece_41, r_0081_0015__skala, prd).
arc(z_000_81_a_history_of_greece_71, r_0081_0018__serves, scope).
arc(z_000_81_a_history_of_greece_71, r_0081_0025__making, restriction).

fof(formula,axiom,
    ? [R_81_2_CREATED,R_81_1_THIS,R_81_5_SEEN,Z_81_A_HISTORY_OF_GREECE_13,R_81_3_A_PATTERN,R_81_6_TODAY,R_81_8_THE_AEGEAN,Z_81_A_HISTORY_OF_GREECE_41,R_81_15_SKALA,Z_81_A_HISTORY_OF_GREECE_71,R_81_25_MAKING,R_81_28_TO_PROTECT,Z_81_A_HISTORY_OF_GREECE_75,R_81_30_THE_ISLAND,R_81_33_ATTACK,R_81_27_EASIER,R_81_18_SERVES,R_81_11_A_PORT,R_81_12_SMALL,R_81_22_OR,R_81_19_AN_SETTLEMENT,R_81_20_INLAND,R_81_23_CHORA] :
      ( this(R_81_1_THIS)
      & today(R_81_6_TODAY)
      & the_Aegean(R_81_8_THE_AEGEAN)
      & skala(R_81_15_SKALA)
      & the_island(R_81_30_THE_ISLAND)
      & attack(R_81_33_ATTACK)
      & easier(R_81_27_EASIER)
      & small(R_81_12_SMALL)
      & inland(R_81_20_INLAND)
      & chora(R_81_23_CHORA)
      & created(R_81_2_CREATED,R_81_1_THIS,R_81_3_A_PATTERN)
      & a_pattern(R_81_3_A_PATTERN)
      & of(R_81_3_A_PATTERN,R_81_11_A_PORT)
      & a_port(R_81_11_A_PORT)
      & attrib34(R_81_11_A_PORT,R_81_12_SMALL)
      & seen(R_81_5_SEEN,Z_81_A_HISTORY_OF_GREECE_13,R_81_3_A_PATTERN)
      & nim17(R_81_5_SEEN,R_81_6_TODAY)
      & throughout_nim23(R_81_5_SEEN,R_81_8_THE_AEGEAN)
      & z_81_a_history_of_greece_41(Z_81_A_HISTORY_OF_GREECE_41,R_81_11_A_PORT,R_81_15_SKALA)
      & z_81_a_history_of_greece_71(Z_81_A_HISTORY_OF_GREECE_71)
      & conj1(Z_81_A_HISTORY_OF_GREECE_71,R_81_25_MAKING)
      & making(R_81_25_MAKING,R_81_11_A_PORT,R_81_28_TO_PROTECT,R_81_27_EASIER)
      & to_protect(R_81_28_TO_PROTECT,Z_81_A_HISTORY_OF_GREECE_75,R_81_30_THE_ISLAND)
      & from_clr94(R_81_28_TO_PROTECT,R_81_33_ATTACK)
      & conj2(Z_81_A_HISTORY_OF_GREECE_71,R_81_18_SERVES)
      & serves(R_81_18_SERVES,R_81_11_A_PORT,R_81_22_OR)
      & or(R_81_22_OR)
      & conj1(R_81_22_OR,R_81_19_AN_SETTLEMENT)
      & an_settlement(R_81_19_AN_SETTLEMENT)
      & attrib58(R_81_19_AN_SETTLEMENT,R_81_20_INLAND)
      & conj2(R_81_22_OR,R_81_23_CHORA) ) ).

( (IP-MAT (NP-SBJ;{BUILD_INLAND} (D;_nphd_ This;{this}))
          (VBD;_Tn_ created;{create})
          (NP-OB1 (D a;{a})
                  (N pattern;{pattern})
                  (IP-PPL (NP-LGS *)
                          (VVN;_Tn_ seen;{see})
                          (ADVP-NIM (ADV today;{today}))
                          (PP-NIM (P-ROLE throughout;{throughout})
                                  (NP (D the;{the})
                                      (NPR Aegean;{Aegean}))))
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (ADJP (ADJ small;{small}))
                          (N port;{port})
                          (PULB -LRB-)
                          (IP-PPL (NP-PRD (FW skala)))
                          (PURB -RRB-)
                          (IP-REL (NP-SBJ (RPRO which;{which}))
                                  (VBP;_Tn_ serves;{serve})
                                  (NP-OB1 (NLYR (NLYR (D an;{an})
                                                      (ADJP (ADJ inland;{inland}))
                                                      (N settlement;{settlement}))
                                                (CONJP (CONJ or;{or})
                                                       (NLYR (FW chora)))))
                                  (PUNC ,)
                                  (PP-SCON (IP-PPL2 (VAG;_Cn.a_ making;{make})
                                                    (NP-OB1 (PRO;_provisional_ it;{it}))
                                                    (ADJP-PRD (ADJR easier;{easy}))
                                                    (IP-INF3-NOB1 (TO to;{to})
                                                                  (VB;_Tn.pr_ protect;{protect[from]})
                                                                  (NP-OB1 (D the;{the})
                                                                          (N island;{island}))
                                                                  (PP-CLR (P-ROLE from;{from})
                                                                          (NP (N attack;{attack}))))))))))
          (PUNC .))
  (ID 81_a_history_of_greece))