Context                Previous, Next                Top


136_a_history_of_greece
Airfields have been constructed on a number of the islands, and road systems have been expanded and improved.

%3 r_0136_0002__have have r_0136_0003__been been r_0136_0002__have->r_0136_0003__been [scope] r_0136_0004__constructed constructed r_0136_0003__been->r_0136_0004__constructed [scope] r_0136_0001__Airfields Airfields r_0136_0004__constructed->r_0136_0001__Airfields [arg1] r_0136_0006__a_r_0136_0007__number a number r_0136_0004__constructed->r_0136_0006__a_r_0136_0007__number on [nim] z_000_136_a_history_of_greece_13 r_0136_0004__constructed->z_000_136_a_history_of_greece_13 [arg0] r_0136_0009__the_r_0136_0010__islands the islands r_0136_0006__a_r_0136_0007__number->r_0136_0009__the_r_0136_0010__islands of r_0136_0012__and and r_0136_0012__and->r_0136_0002__have [conj1] r_0136_0015__have have r_0136_0012__and->r_0136_0015__have [conj2] r_0136_0016__been been r_0136_0015__have->r_0136_0016__been [scope] r_0136_0018__and and r_0136_0016__been->r_0136_0018__and [scope] r_0136_0017__expanded expanded r_0136_0018__and->r_0136_0017__expanded [conj1] r_0136_0019__improved improved r_0136_0018__and->r_0136_0019__improved [conj2] r_0136_0013__road_r_0136_0014__systems road systems r_0136_0017__expanded->r_0136_0013__road_r_0136_0014__systems [arg1] z_000_136_a_history_of_greece_52 r_0136_0017__expanded->z_000_136_a_history_of_greece_52 [arg0] r_0136_0019__improved->r_0136_0013__road_r_0136_0014__systems [arg1] z_000_136_a_history_of_greece_60 r_0136_0019__improved->z_000_136_a_history_of_greece_60 [arg0] 
arc(r_0136_0002__have, r_0136_0003__been, scope).
arc(r_0136_0003__been, r_0136_0004__constructed, scope).
arc(r_0136_0004__constructed, r_0136_0001__Airfields, arg1).
arc(r_0136_0004__constructed, r_0136_0006__a_r_0136_0007__number, r_0136_0005__on_nim20).
arc(r_0136_0004__constructed, z_000_136_a_history_of_greece_13, arg0).
arc(r_0136_0006__a_r_0136_0007__number, r_0136_0009__the_r_0136_0010__islands, r_0136_0008__of).
arc(r_0136_0012__and, r_0136_0002__have, conj1).
arc(r_0136_0012__and, r_0136_0015__have, conj2).
arc(r_0136_0015__have, r_0136_0016__been, scope).
arc(r_0136_0016__been, r_0136_0018__and, scope).
arc(r_0136_0017__expanded, r_0136_0013__road_r_0136_0014__systems, arg1).
arc(r_0136_0017__expanded, z_000_136_a_history_of_greece_52, arg0).
arc(r_0136_0018__and, r_0136_0017__expanded, conj1).
arc(r_0136_0018__and, r_0136_0019__improved, conj2).
arc(r_0136_0019__improved, r_0136_0013__road_r_0136_0014__systems, arg1).
arc(r_0136_0019__improved, z_000_136_a_history_of_greece_60, arg0).


%3 r_0136_0015__have_r_0136_0016__been have been r_0136_0018__and and r_0136_0015__have_r_0136_0016__been->r_0136_0018__and [keep_scope] r_0136_0019__improved improved r_0136_0018__and->r_0136_0019__improved [conj2] r_0136_0017__expanded expanded r_0136_0018__and->r_0136_0017__expanded [conj1] z_000_136_a_history_of_greece_60 r_0136_0019__improved->z_000_136_a_history_of_greece_60 [arg0] r_0136_0013__road_r_0136_0014__systems road systems r_0136_0019__improved->r_0136_0013__road_r_0136_0014__systems [arg1] r_0136_0017__expanded->r_0136_0013__road_r_0136_0014__systems [arg1] z_000_136_a_history_of_greece_52 r_0136_0017__expanded->z_000_136_a_history_of_greece_52 [arg0] r_0136_0012__and and r_0136_0012__and->r_0136_0015__have_r_0136_0016__been [conj2] r_0136_0002__have_r_0136_0003__been_r_0136_0004__constructed have been constructed r_0136_0012__and->r_0136_0002__have_r_0136_0003__been_r_0136_0004__constructed [conj1] r_0136_0006__a_r_0136_0007__number a number r_0136_0002__have_r_0136_0003__been_r_0136_0004__constructed->r_0136_0006__a_r_0136_0007__number on [nim] z_000_136_a_history_of_greece_13 r_0136_0002__have_r_0136_0003__been_r_0136_0004__constructed->z_000_136_a_history_of_greece_13 [arg0] r_0136_0001__Airfields Airfields r_0136_0002__have_r_0136_0003__been_r_0136_0004__constructed->r_0136_0001__Airfields [arg1] r_0136_0009__the_r_0136_0010__islands the islands r_0136_0006__a_r_0136_0007__number->r_0136_0009__the_r_0136_0010__islands of 
fof(formula,axiom,
    ? [R_136_12_AND,R_136_2_HAVE_BEEN_CONSTRUCTED,Z_136_A_HISTORY_OF_GREECE_13,R_136_1_AIRFIELDS,R_136_6_A_NUMBER,R_136_9_THE_ISLANDS] :
      ( airfields(R_136_1_AIRFIELDS)
      & the_islands(R_136_9_THE_ISLANDS)
      & and(R_136_12_AND)
      & conj1(R_136_12_AND,R_136_2_HAVE_BEEN_CONSTRUCTED)
      & have_been_constructed(R_136_2_HAVE_BEEN_CONSTRUCTED,Z_136_A_HISTORY_OF_GREECE_13,R_136_1_AIRFIELDS)
      & on_nim20(R_136_2_HAVE_BEEN_CONSTRUCTED,R_136_6_A_NUMBER)
      & a_number(R_136_6_A_NUMBER)
      & of(R_136_6_A_NUMBER,R_136_9_THE_ISLANDS)
      & conj2(R_136_12_AND,R_136_15_HAVE_BEEN)
      & ~ ? [R_136_18_AND,R_136_17_EXPANDED,Z_136_A_HISTORY_OF_GREECE_52,R_136_19_IMPROVED,Z_136_A_HISTORY_OF_GREECE_60,R_136_13_ROAD_SYSTEMS] :
            ( road_systems(R_136_13_ROAD_SYSTEMS)
            & and(R_136_18_AND)
            & conj1(R_136_18_AND,R_136_17_EXPANDED)
            & expanded(R_136_17_EXPANDED,Z_136_A_HISTORY_OF_GREECE_52,R_136_13_ROAD_SYSTEMS)
            & conj2(R_136_18_AND,R_136_19_IMPROVED)
            & improved(R_136_19_IMPROVED,Z_136_A_HISTORY_OF_GREECE_60,R_136_13_ROAD_SYSTEMS) ) ) ).


n136_a_history_of_greece n136_a_history_of_greece__1_1_1_1_1_1 Airfields n136_a_history_of_greece__1_1_1_2_1 have n136_a_history_of_greece__1_1_1_3_1_1 been n136_a_history_of_greece__1_1_1_3_2_1_1 * n136_a_history_of_greece__1_1_1_3_2_2_1 constructed n136_a_history_of_greece__1_1_1_3_2_3_1_1 on n136_a_history_of_greece__1_1_1_3_2_3_2_1_1 a n136_a_history_of_greece__1_1_1_3_2_3_2_2_1 number n136_a_history_of_greece__1_1_1_3_2_3_2_3_1_1 of n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_1_1 the n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_2_1 islands n136_a_history_of_greece__1_1_2_1 , n136_a_history_of_greece__1_1_3_1_1 and n136_a_history_of_greece__1_1_3_2_1_1_1 road n136_a_history_of_greece__1_1_3_2_1_2_1 systems n136_a_history_of_greece__1_1_3_2_2_1 have n136_a_history_of_greece__1_1_3_2_3_1_1 been n136_a_history_of_greece__1_1_3_2_3_2_1_1_1_1 * n136_a_history_of_greece__1_1_3_2_3_2_1_1_2_1 expanded n136_a_history_of_greece__1_1_3_2_3_2_1_2_1_1 and n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_1_1 * n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_2_1 improved n136_a_history_of_greece__1_2_1 . n136_a_history_of_greece__1 IP-MAT n136_a_history_of_greece__1_1 ILYR n136_a_history_of_greece__1->n136_a_history_of_greece__1_1 n136_a_history_of_greece__1_2 PUNC n136_a_history_of_greece__1->n136_a_history_of_greece__1_2 n136_a_history_of_greece__1_1_1 ILYR n136_a_history_of_greece__1_1->n136_a_history_of_greece__1_1_1 n136_a_history_of_greece__1_1_2 PUNC n136_a_history_of_greece__1_1->n136_a_history_of_greece__1_1_2 n136_a_history_of_greece__1_1_3 CONJP n136_a_history_of_greece__1_1->n136_a_history_of_greece__1_1_3 n136_a_history_of_greece__1_1_1_1 NP-SBJ n136_a_history_of_greece__1_1_1->n136_a_history_of_greece__1_1_1_1 n136_a_history_of_greece__1_1_1_2 HVP;_cat_Ve_ n136_a_history_of_greece__1_1_1->n136_a_history_of_greece__1_1_1_2 n136_a_history_of_greece__1_1_1_3 IP-PPL-CAT n136_a_history_of_greece__1_1_1->n136_a_history_of_greece__1_1_1_3 n136_a_history_of_greece__1_1_1_1_1 NS n136_a_history_of_greece__1_1_1_1->n136_a_history_of_greece__1_1_1_1_1 n136_a_history_of_greece__1_1_1_1_1->n136_a_history_of_greece__1_1_1_1_1_1 n136_a_history_of_greece__1_1_1_2->n136_a_history_of_greece__1_1_1_2_1 n136_a_history_of_greece__1_1_1_3_1 BEN;_cat_VePASS_ n136_a_history_of_greece__1_1_1_3->n136_a_history_of_greece__1_1_1_3_1 n136_a_history_of_greece__1_1_1_3_2 IP-PPL-CAT n136_a_history_of_greece__1_1_1_3->n136_a_history_of_greece__1_1_1_3_2 n136_a_history_of_greece__1_1_1_3_1->n136_a_history_of_greece__1_1_1_3_1_1 n136_a_history_of_greece__1_1_1_3_2_1 NP-LGS n136_a_history_of_greece__1_1_1_3_2->n136_a_history_of_greece__1_1_1_3_2_1 n136_a_history_of_greece__1_1_1_3_2_2 VVN;_Tn_ n136_a_history_of_greece__1_1_1_3_2->n136_a_history_of_greece__1_1_1_3_2_2 n136_a_history_of_greece__1_1_1_3_2_3 PP-NIM n136_a_history_of_greece__1_1_1_3_2->n136_a_history_of_greece__1_1_1_3_2_3 n136_a_history_of_greece__1_1_1_3_2_1->n136_a_history_of_greece__1_1_1_3_2_1_1 n136_a_history_of_greece__1_1_1_3_2_2->n136_a_history_of_greece__1_1_1_3_2_2_1 n136_a_history_of_greece__1_1_1_3_2_3_1 P-ROLE n136_a_history_of_greece__1_1_1_3_2_3->n136_a_history_of_greece__1_1_1_3_2_3_1 n136_a_history_of_greece__1_1_1_3_2_3_2 NP n136_a_history_of_greece__1_1_1_3_2_3->n136_a_history_of_greece__1_1_1_3_2_3_2 n136_a_history_of_greece__1_1_1_3_2_3_1->n136_a_history_of_greece__1_1_1_3_2_3_1_1 n136_a_history_of_greece__1_1_1_3_2_3_2_1 D n136_a_history_of_greece__1_1_1_3_2_3_2->n136_a_history_of_greece__1_1_1_3_2_3_2_1 n136_a_history_of_greece__1_1_1_3_2_3_2_2 N n136_a_history_of_greece__1_1_1_3_2_3_2->n136_a_history_of_greece__1_1_1_3_2_3_2_2 n136_a_history_of_greece__1_1_1_3_2_3_2_3 PP n136_a_history_of_greece__1_1_1_3_2_3_2->n136_a_history_of_greece__1_1_1_3_2_3_2_3 n136_a_history_of_greece__1_1_1_3_2_3_2_1->n136_a_history_of_greece__1_1_1_3_2_3_2_1_1 n136_a_history_of_greece__1_1_1_3_2_3_2_2->n136_a_history_of_greece__1_1_1_3_2_3_2_2_1 n136_a_history_of_greece__1_1_1_3_2_3_2_3_1 P-ROLE n136_a_history_of_greece__1_1_1_3_2_3_2_3->n136_a_history_of_greece__1_1_1_3_2_3_2_3_1 n136_a_history_of_greece__1_1_1_3_2_3_2_3_2 NP n136_a_history_of_greece__1_1_1_3_2_3_2_3->n136_a_history_of_greece__1_1_1_3_2_3_2_3_2 n136_a_history_of_greece__1_1_1_3_2_3_2_3_1->n136_a_history_of_greece__1_1_1_3_2_3_2_3_1_1 n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_1 D n136_a_history_of_greece__1_1_1_3_2_3_2_3_2->n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_1 n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_2 NS n136_a_history_of_greece__1_1_1_3_2_3_2_3_2->n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_2 n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_1->n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_1_1 n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_2->n136_a_history_of_greece__1_1_1_3_2_3_2_3_2_2_1 n136_a_history_of_greece__1_1_2->n136_a_history_of_greece__1_1_2_1 n136_a_history_of_greece__1_1_3_1 CONJ n136_a_history_of_greece__1_1_3->n136_a_history_of_greece__1_1_3_1 n136_a_history_of_greece__1_1_3_2 ILYR n136_a_history_of_greece__1_1_3->n136_a_history_of_greece__1_1_3_2 n136_a_history_of_greece__1_1_3_1->n136_a_history_of_greece__1_1_3_1_1 n136_a_history_of_greece__1_1_3_2_1 NP-SBJ n136_a_history_of_greece__1_1_3_2->n136_a_history_of_greece__1_1_3_2_1 n136_a_history_of_greece__1_1_3_2_2 HVP;_cat_Ve_ n136_a_history_of_greece__1_1_3_2->n136_a_history_of_greece__1_1_3_2_2 n136_a_history_of_greece__1_1_3_2_3 IP-PPL-CAT n136_a_history_of_greece__1_1_3_2->n136_a_history_of_greece__1_1_3_2_3 n136_a_history_of_greece__1_1_3_2_1_1 N n136_a_history_of_greece__1_1_3_2_1->n136_a_history_of_greece__1_1_3_2_1_1 n136_a_history_of_greece__1_1_3_2_1_2 NS n136_a_history_of_greece__1_1_3_2_1->n136_a_history_of_greece__1_1_3_2_1_2 n136_a_history_of_greece__1_1_3_2_1_1->n136_a_history_of_greece__1_1_3_2_1_1_1 n136_a_history_of_greece__1_1_3_2_1_2->n136_a_history_of_greece__1_1_3_2_1_2_1 n136_a_history_of_greece__1_1_3_2_2->n136_a_history_of_greece__1_1_3_2_2_1 n136_a_history_of_greece__1_1_3_2_3_1 BEN;_cat_VePASS_ n136_a_history_of_greece__1_1_3_2_3->n136_a_history_of_greece__1_1_3_2_3_1 n136_a_history_of_greece__1_1_3_2_3_2 IP-PPL-CAT n136_a_history_of_greece__1_1_3_2_3->n136_a_history_of_greece__1_1_3_2_3_2 n136_a_history_of_greece__1_1_3_2_3_1->n136_a_history_of_greece__1_1_3_2_3_1_1 n136_a_history_of_greece__1_1_3_2_3_2_1 ILYR n136_a_history_of_greece__1_1_3_2_3_2->n136_a_history_of_greece__1_1_3_2_3_2_1 n136_a_history_of_greece__1_1_3_2_3_2_1_1 ILYR n136_a_history_of_greece__1_1_3_2_3_2_1->n136_a_history_of_greece__1_1_3_2_3_2_1_1 n136_a_history_of_greece__1_1_3_2_3_2_1_2 CONJP n136_a_history_of_greece__1_1_3_2_3_2_1->n136_a_history_of_greece__1_1_3_2_3_2_1_2 n136_a_history_of_greece__1_1_3_2_3_2_1_1_1 NP-LGS n136_a_history_of_greece__1_1_3_2_3_2_1_1->n136_a_history_of_greece__1_1_3_2_3_2_1_1_1 n136_a_history_of_greece__1_1_3_2_3_2_1_1_2 VVN;_Tn_ n136_a_history_of_greece__1_1_3_2_3_2_1_1->n136_a_history_of_greece__1_1_3_2_3_2_1_1_2 n136_a_history_of_greece__1_1_3_2_3_2_1_1_1->n136_a_history_of_greece__1_1_3_2_3_2_1_1_1_1 n136_a_history_of_greece__1_1_3_2_3_2_1_1_2->n136_a_history_of_greece__1_1_3_2_3_2_1_1_2_1 n136_a_history_of_greece__1_1_3_2_3_2_1_2_1 CONJ n136_a_history_of_greece__1_1_3_2_3_2_1_2->n136_a_history_of_greece__1_1_3_2_3_2_1_2_1 n136_a_history_of_greece__1_1_3_2_3_2_1_2_2 ILYR n136_a_history_of_greece__1_1_3_2_3_2_1_2->n136_a_history_of_greece__1_1_3_2_3_2_1_2_2 n136_a_history_of_greece__1_1_3_2_3_2_1_2_1->n136_a_history_of_greece__1_1_3_2_3_2_1_2_1_1 n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_1 NP-LGS n136_a_history_of_greece__1_1_3_2_3_2_1_2_2->n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_1 n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_2 VVN;_Tn_ n136_a_history_of_greece__1_1_3_2_3_2_1_2_2->n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_2 n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_1->n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_1_1 n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_2->n136_a_history_of_greece__1_1_3_2_3_2_1_2_2_2_1 n136_a_history_of_greece__1_2->n136_a_history_of_greece__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NS Airfields;{airfield}))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;_Tn_ constructed;{construct})
                                              (PP-NIM (P-ROLE on;{on})
                                                      (NP (D a;{a})
                                                          (N number;{number})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (D the;{the})
                                                                  (NS islands;{island}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (N road;{road})
                                     (NS systems;{system}))
                             (HVP;_cat_Ve_ have;{have})
                             (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                         (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                                 (VVN;_Tn_ expanded;{expand}))
                                                           (CONJP (CONJ and;{and})
                                                                  (ILYR (NP-LGS *)
                                                                        (VVN;_Tn_ improved;{improve})))))))))
          (PUNC .))
  (ID 136_a_history_of_greece))