Context                Previous, Next                Top


28_a_lob_n01
Ahead lay the Plain of Lombardy; to the right, Turin; to the left, Milan.

%3 r_0028_0002__lay lay r_0028_0001__Ahead Ahead r_0028_0002__lay->r_0028_0001__Ahead [nim] r_0028_0003__the_r_0028_0004__Plain the Plain r_0028_0002__lay->r_0028_0003__the_r_0028_0004__Plain [arg0] r_0028_0006__Lombardy Lombardy r_0028_0003__the_r_0028_0004__Plain->r_0028_0006__Lombardy of z_000_28_a_lob_n01_23 r_0028_0009__the_r_0028_0010__right the right z_000_28_a_lob_n01_23->r_0028_0009__the_r_0028_0010__right to [nim] r_0028_0012__Turin Turin z_000_28_a_lob_n01_23->r_0028_0012__Turin [arg0] z_000_28_a_lob_n01_2 z_000_28_a_lob_n01_2->r_0028_0002__lay [conj1] z_000_28_a_lob_n01_2->z_000_28_a_lob_n01_23 [conj2] z_000_28_a_lob_n01_40 z_000_28_a_lob_n01_2->z_000_28_a_lob_n01_40 [conj3] r_0028_0015__the_r_0028_0016__left the left z_000_28_a_lob_n01_40->r_0028_0015__the_r_0028_0016__left to [nim] r_0028_0018__Milan Milan z_000_28_a_lob_n01_40->r_0028_0018__Milan [arg0] 
arc(r_0028_0002__lay, r_0028_0001__Ahead, nim4).
arc(r_0028_0002__lay, r_0028_0003__the_r_0028_0004__Plain, arg0).
arc(r_0028_0003__the_r_0028_0004__Plain, r_0028_0006__Lombardy, r_0028_0005__of).
arc(z_000_28_a_lob_n01_23, r_0028_0009__the_r_0028_0010__right, r_0028_0008__to_nim27).
arc(z_000_28_a_lob_n01_23, r_0028_0012__Turin, arg0).
arc(z_000_28_a_lob_n01_2, r_0028_0002__lay, conj1).
arc(z_000_28_a_lob_n01_2, z_000_28_a_lob_n01_23, conj2).
arc(z_000_28_a_lob_n01_2, z_000_28_a_lob_n01_40, conj3).
arc(z_000_28_a_lob_n01_40, r_0028_0015__the_r_0028_0016__left, r_0028_0014__to_nim44).
arc(z_000_28_a_lob_n01_40, r_0028_0018__Milan, arg0).


%3 r_0028_0002__lay lay r_0028_0001__Ahead Ahead r_0028_0002__lay->r_0028_0001__Ahead [nim] r_0028_0003__the_r_0028_0004__Plain the Plain r_0028_0002__lay->r_0028_0003__the_r_0028_0004__Plain [arg0] r_0028_0006__Lombardy Lombardy r_0028_0003__the_r_0028_0004__Plain->r_0028_0006__Lombardy of z_000_28_a_lob_n01_23 r_0028_0009__the_r_0028_0010__right the right z_000_28_a_lob_n01_23->r_0028_0009__the_r_0028_0010__right to [nim] r_0028_0012__Turin Turin z_000_28_a_lob_n01_23->r_0028_0012__Turin [arg0] z_000_28_a_lob_n01_2 z_000_28_a_lob_n01_2->r_0028_0002__lay [conj1] z_000_28_a_lob_n01_2->z_000_28_a_lob_n01_23 [conj2] z_000_28_a_lob_n01_40 z_000_28_a_lob_n01_2->z_000_28_a_lob_n01_40 [conj3] r_0028_0015__the_r_0028_0016__left the left z_000_28_a_lob_n01_40->r_0028_0015__the_r_0028_0016__left to [nim] r_0028_0018__Milan Milan z_000_28_a_lob_n01_40->r_0028_0018__Milan [arg0] 
fof(formula,axiom,
    ? [Z_28_A_LOB_N01_2,R_28_2_LAY,R_28_3_THE_PLAIN,R_28_6_LOMBARDY,R_28_1_AHEAD,Z_28_A_LOB_N01_23,R_28_12_TURIN,R_28_9_THE_RIGHT,Z_28_A_LOB_N01_40,R_28_18_MILAN,R_28_15_THE_LEFT] :
      ( lombardy(R_28_6_LOMBARDY)
      & ahead(R_28_1_AHEAD)
      & turin(R_28_12_TURIN)
      & the_right(R_28_9_THE_RIGHT)
      & milan(R_28_18_MILAN)
      & the_left(R_28_15_THE_LEFT)
      & z_28_a_lob_n01_2(Z_28_A_LOB_N01_2)
      & conj1(Z_28_A_LOB_N01_2,R_28_2_LAY)
      & lay(R_28_2_LAY,R_28_3_THE_PLAIN)
      & the_Plain(R_28_3_THE_PLAIN)
      & of(R_28_3_THE_PLAIN,R_28_6_LOMBARDY)
      & nim4(R_28_2_LAY,R_28_1_AHEAD)
      & conj2(Z_28_A_LOB_N01_2,Z_28_A_LOB_N01_23)
      & z_28_a_lob_n01_23(Z_28_A_LOB_N01_23,R_28_12_TURIN)
      & to_nim27(Z_28_A_LOB_N01_23,R_28_9_THE_RIGHT)
      & conj3(Z_28_A_LOB_N01_2,Z_28_A_LOB_N01_40)
      & z_28_a_lob_n01_40(Z_28_A_LOB_N01_40,R_28_18_MILAN)
      & to_nim44(Z_28_A_LOB_N01_40,R_28_15_THE_LEFT) ) ).


n28_a_lob_n01 n28_a_lob_n01_6 Ahead n28_a_lob_n01_8 lay n28_a_lob_n01_11 the n28_a_lob_n01_13 Plain n28_a_lob_n01_16 of n28_a_lob_n01_19 Lombardy n28_a_lob_n01_21 ; n28_a_lob_n01_26 to n28_a_lob_n01_29 the n28_a_lob_n01_31 right n28_a_lob_n01_33 , n28_a_lob_n01_36 Turin n28_a_lob_n01_38 ; n28_a_lob_n01_43 to n28_a_lob_n01_46 the n28_a_lob_n01_48 left n28_a_lob_n01_50 , n28_a_lob_n01_53 Milan n28_a_lob_n01_55 . n28_a_lob_n01_1 IP-MAT n28_a_lob_n01_2 ILYR n28_a_lob_n01_1->n28_a_lob_n01_2 n28_a_lob_n01_54 PUNC n28_a_lob_n01_1->n28_a_lob_n01_54 n28_a_lob_n01_3 ILYR n28_a_lob_n01_2->n28_a_lob_n01_3 n28_a_lob_n01_20 PUNC n28_a_lob_n01_2->n28_a_lob_n01_20 n28_a_lob_n01_22 CONJP n28_a_lob_n01_2->n28_a_lob_n01_22 n28_a_lob_n01_37 PUNC n28_a_lob_n01_2->n28_a_lob_n01_37 n28_a_lob_n01_39 CONJP n28_a_lob_n01_2->n28_a_lob_n01_39 n28_a_lob_n01_4 ADVP-TPC-NIM n28_a_lob_n01_3->n28_a_lob_n01_4 n28_a_lob_n01_7 VBD;_I_ n28_a_lob_n01_3->n28_a_lob_n01_7 n28_a_lob_n01_9 NP-SBJ n28_a_lob_n01_3->n28_a_lob_n01_9 n28_a_lob_n01_5 ADV n28_a_lob_n01_4->n28_a_lob_n01_5 n28_a_lob_n01_5->n28_a_lob_n01_6 n28_a_lob_n01_7->n28_a_lob_n01_8 n28_a_lob_n01_10 D n28_a_lob_n01_9->n28_a_lob_n01_10 n28_a_lob_n01_12 N n28_a_lob_n01_9->n28_a_lob_n01_12 n28_a_lob_n01_14 PP n28_a_lob_n01_9->n28_a_lob_n01_14 n28_a_lob_n01_10->n28_a_lob_n01_11 n28_a_lob_n01_12->n28_a_lob_n01_13 n28_a_lob_n01_15 P-ROLE n28_a_lob_n01_14->n28_a_lob_n01_15 n28_a_lob_n01_17 NP n28_a_lob_n01_14->n28_a_lob_n01_17 n28_a_lob_n01_15->n28_a_lob_n01_16 n28_a_lob_n01_18 NPR n28_a_lob_n01_17->n28_a_lob_n01_18 n28_a_lob_n01_18->n28_a_lob_n01_19 n28_a_lob_n01_20->n28_a_lob_n01_21 n28_a_lob_n01_23 ILYR n28_a_lob_n01_22->n28_a_lob_n01_23 n28_a_lob_n01_24 PP-TPC-NIM n28_a_lob_n01_23->n28_a_lob_n01_24 n28_a_lob_n01_32 PUNC n28_a_lob_n01_23->n28_a_lob_n01_32 n28_a_lob_n01_34 NP-SBJ n28_a_lob_n01_23->n28_a_lob_n01_34 n28_a_lob_n01_25 P-ROLE n28_a_lob_n01_24->n28_a_lob_n01_25 n28_a_lob_n01_27 NP n28_a_lob_n01_24->n28_a_lob_n01_27 n28_a_lob_n01_25->n28_a_lob_n01_26 n28_a_lob_n01_28 D n28_a_lob_n01_27->n28_a_lob_n01_28 n28_a_lob_n01_30 N n28_a_lob_n01_27->n28_a_lob_n01_30 n28_a_lob_n01_28->n28_a_lob_n01_29 n28_a_lob_n01_30->n28_a_lob_n01_31 n28_a_lob_n01_32->n28_a_lob_n01_33 n28_a_lob_n01_35 NPR n28_a_lob_n01_34->n28_a_lob_n01_35 n28_a_lob_n01_35->n28_a_lob_n01_36 n28_a_lob_n01_37->n28_a_lob_n01_38 n28_a_lob_n01_40 ILYR n28_a_lob_n01_39->n28_a_lob_n01_40 n28_a_lob_n01_41 PP-TPC-NIM n28_a_lob_n01_40->n28_a_lob_n01_41 n28_a_lob_n01_49 PUNC n28_a_lob_n01_40->n28_a_lob_n01_49 n28_a_lob_n01_51 NP-SBJ n28_a_lob_n01_40->n28_a_lob_n01_51 n28_a_lob_n01_42 P-ROLE n28_a_lob_n01_41->n28_a_lob_n01_42 n28_a_lob_n01_44 NP n28_a_lob_n01_41->n28_a_lob_n01_44 n28_a_lob_n01_42->n28_a_lob_n01_43 n28_a_lob_n01_45 D n28_a_lob_n01_44->n28_a_lob_n01_45 n28_a_lob_n01_47 N n28_a_lob_n01_44->n28_a_lob_n01_47 n28_a_lob_n01_45->n28_a_lob_n01_46 n28_a_lob_n01_47->n28_a_lob_n01_48 n28_a_lob_n01_49->n28_a_lob_n01_50 n28_a_lob_n01_52 NPR n28_a_lob_n01_51->n28_a_lob_n01_52 n28_a_lob_n01_52->n28_a_lob_n01_53 n28_a_lob_n01_54->n28_a_lob_n01_55 
( (IP-MAT (ILYR (ILYR (ADVP-TPC-NIM (ADV Ahead;{ahead}))
                      (VBD;_I_ lay;{lie})
                      (NP-SBJ (D the;{the})
                              (N Plain;{plain})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR Lombardy;{Lombardy})))))
                (PUNC ;)
                (CONJP (ILYR (PP-TPC-NIM (P-ROLE to;{to})
                                         (NP (D the;{the})
                                             (N right;{right})))
                             (PUNC ,)
                             (NP-SBJ (NPR Turin;{Turin}))))
                (PUNC ;)
                (CONJP (ILYR (PP-TPC-NIM (P-ROLE to;{to})
                                         (NP (D the;{the})
                                             (N left;{left})))
                             (PUNC ,)
                             (NP-SBJ (NPR Milan;{Milan})))))
          (PUNC .))
  (ID 28_a_lob_n01))