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_2 z_000_28_a_lob_n01_2->r_0028_0002__lay [conj1] z_000_28_a_lob_n01_23 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_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] 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_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_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_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 z_000_28_a_lob_n01_40 r_0028_0018__Milan Milan z_000_28_a_lob_n01_40->r_0028_0018__Milan [arg0] 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] z_000_28_a_lob_n01_23 r_0028_0012__Turin Turin z_000_28_a_lob_n01_23->r_0028_0012__Turin [arg0] 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] z_000_28_a_lob_n01_2 z_000_28_a_lob_n01_2->z_000_28_a_lob_n01_40 [conj3] z_000_28_a_lob_n01_2->z_000_28_a_lob_n01_23 [conj2] r_0028_0002__lay lay z_000_28_a_lob_n01_2->r_0028_0002__lay [conj1] 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_0001__Ahead Ahead r_0028_0002__lay->r_0028_0001__Ahead [nim] r_0028_0006__Lombardy Lombardy r_0028_0003__the_r_0028_0004__Plain->r_0028_0006__Lombardy of 
fof(formula,axiom,
    ? [R_0028_0001__AHEAD,R_0028_0006__LOMBARDY,R_0028_0003__THE_R_0028_0004__PLAIN,R_0028_0002__LAY,R_0028_0009__THE_R_0028_0010__RIGHT,R_0028_0012__TURIN,Z_000_28_A_LOB_N01_23,R_0028_0015__THE_R_0028_0016__LEFT,R_0028_0018__MILAN,Z_000_28_A_LOB_N01_40,Z_000_28_A_LOB_N01_2] :
      ( r_0028_0001__Ahead(R_0028_0001__AHEAD)
      & r_0028_0006__Lombardy(R_0028_0006__LOMBARDY)
      & r_0028_0009__the_r_0028_0010__right(R_0028_0009__THE_R_0028_0010__RIGHT)
      & r_0028_0012__Turin(R_0028_0012__TURIN)
      & r_0028_0015__the_r_0028_0016__left(R_0028_0015__THE_R_0028_0016__LEFT)
      & r_0028_0018__Milan(R_0028_0018__MILAN)
      & z_000_28_a_lob_n01_2(Z_000_28_A_LOB_N01_2)
      & has_conj3(Z_000_28_A_LOB_N01_2,Z_000_28_A_LOB_N01_40)
      & z_000_28_a_lob_n01_40(Z_000_28_A_LOB_N01_40)
      & has_arg0(Z_000_28_A_LOB_N01_40,R_0028_0018__MILAN)
      & has_r_0028_0014__to_nim44(Z_000_28_A_LOB_N01_40,R_0028_0015__THE_R_0028_0016__LEFT)
      & has_conj2(Z_000_28_A_LOB_N01_2,Z_000_28_A_LOB_N01_23)
      & z_000_28_a_lob_n01_23(Z_000_28_A_LOB_N01_23)
      & has_arg0(Z_000_28_A_LOB_N01_23,R_0028_0012__TURIN)
      & has_r_0028_0008__to_nim27(Z_000_28_A_LOB_N01_23,R_0028_0009__THE_R_0028_0010__RIGHT)
      & has_conj1(Z_000_28_A_LOB_N01_2,R_0028_0002__LAY)
      & r_0028_0002__lay(R_0028_0002__LAY)
      & has_arg0(R_0028_0002__LAY,R_0028_0003__THE_R_0028_0004__PLAIN)
      & r_0028_0003__the_r_0028_0004__Plain(R_0028_0003__THE_R_0028_0004__PLAIN)
      & has_r_0028_0005__of(R_0028_0003__THE_R_0028_0004__PLAIN,R_0028_0006__LOMBARDY)
      & has_nim4(R_0028_0002__LAY,R_0028_0001__AHEAD) ) ).


n28_a_lob_n01 n28_a_lob_n01__1_1_1_1_1_1 Ahead n28_a_lob_n01__1_1_1_2_1 lay n28_a_lob_n01__1_1_1_3_1_1 the n28_a_lob_n01__1_1_1_3_2_1 Plain n28_a_lob_n01__1_1_1_3_3_1_1 of n28_a_lob_n01__1_1_1_3_3_2_1_1 Lombardy n28_a_lob_n01__1_1_2_1 ; n28_a_lob_n01__1_1_3_1_1_1_1 to n28_a_lob_n01__1_1_3_1_1_2_1_1 the n28_a_lob_n01__1_1_3_1_1_2_2_1 right n28_a_lob_n01__1_1_3_1_2_1 , n28_a_lob_n01__1_1_3_1_3_1_1 Turin n28_a_lob_n01__1_1_4_1 ; n28_a_lob_n01__1_1_5_1_1_1_1 to n28_a_lob_n01__1_1_5_1_1_2_1_1 the n28_a_lob_n01__1_1_5_1_1_2_2_1 left n28_a_lob_n01__1_1_5_1_2_1 , n28_a_lob_n01__1_1_5_1_3_1_1 Milan n28_a_lob_n01__1_2_1 . n28_a_lob_n01__1 IP-MAT n28_a_lob_n01__1_1 ILYR n28_a_lob_n01__1->n28_a_lob_n01__1_1 n28_a_lob_n01__1_2 PUNC n28_a_lob_n01__1->n28_a_lob_n01__1_2 n28_a_lob_n01__1_1_1 ILYR n28_a_lob_n01__1_1->n28_a_lob_n01__1_1_1 n28_a_lob_n01__1_1_2 PUNC n28_a_lob_n01__1_1->n28_a_lob_n01__1_1_2 n28_a_lob_n01__1_1_3 CONJP n28_a_lob_n01__1_1->n28_a_lob_n01__1_1_3 n28_a_lob_n01__1_1_4 PUNC n28_a_lob_n01__1_1->n28_a_lob_n01__1_1_4 n28_a_lob_n01__1_1_5 CONJP n28_a_lob_n01__1_1->n28_a_lob_n01__1_1_5 n28_a_lob_n01__1_1_1_1 ADVP-TPC-NIM n28_a_lob_n01__1_1_1->n28_a_lob_n01__1_1_1_1 n28_a_lob_n01__1_1_1_2 VBD;_I_ n28_a_lob_n01__1_1_1->n28_a_lob_n01__1_1_1_2 n28_a_lob_n01__1_1_1_3 NP-SBJ n28_a_lob_n01__1_1_1->n28_a_lob_n01__1_1_1_3 n28_a_lob_n01__1_1_1_1_1 ADV n28_a_lob_n01__1_1_1_1->n28_a_lob_n01__1_1_1_1_1 n28_a_lob_n01__1_1_1_1_1->n28_a_lob_n01__1_1_1_1_1_1 n28_a_lob_n01__1_1_1_2->n28_a_lob_n01__1_1_1_2_1 n28_a_lob_n01__1_1_1_3_1 D n28_a_lob_n01__1_1_1_3->n28_a_lob_n01__1_1_1_3_1 n28_a_lob_n01__1_1_1_3_2 N n28_a_lob_n01__1_1_1_3->n28_a_lob_n01__1_1_1_3_2 n28_a_lob_n01__1_1_1_3_3 PP n28_a_lob_n01__1_1_1_3->n28_a_lob_n01__1_1_1_3_3 n28_a_lob_n01__1_1_1_3_1->n28_a_lob_n01__1_1_1_3_1_1 n28_a_lob_n01__1_1_1_3_2->n28_a_lob_n01__1_1_1_3_2_1 n28_a_lob_n01__1_1_1_3_3_1 P-ROLE n28_a_lob_n01__1_1_1_3_3->n28_a_lob_n01__1_1_1_3_3_1 n28_a_lob_n01__1_1_1_3_3_2 NP n28_a_lob_n01__1_1_1_3_3->n28_a_lob_n01__1_1_1_3_3_2 n28_a_lob_n01__1_1_1_3_3_1->n28_a_lob_n01__1_1_1_3_3_1_1 n28_a_lob_n01__1_1_1_3_3_2_1 NPR n28_a_lob_n01__1_1_1_3_3_2->n28_a_lob_n01__1_1_1_3_3_2_1 n28_a_lob_n01__1_1_1_3_3_2_1->n28_a_lob_n01__1_1_1_3_3_2_1_1 n28_a_lob_n01__1_1_2->n28_a_lob_n01__1_1_2_1 n28_a_lob_n01__1_1_3_1 ILYR n28_a_lob_n01__1_1_3->n28_a_lob_n01__1_1_3_1 n28_a_lob_n01__1_1_3_1_1 PP-TPC-NIM n28_a_lob_n01__1_1_3_1->n28_a_lob_n01__1_1_3_1_1 n28_a_lob_n01__1_1_3_1_2 PUNC n28_a_lob_n01__1_1_3_1->n28_a_lob_n01__1_1_3_1_2 n28_a_lob_n01__1_1_3_1_3 NP-SBJ n28_a_lob_n01__1_1_3_1->n28_a_lob_n01__1_1_3_1_3 n28_a_lob_n01__1_1_3_1_1_1 P-ROLE n28_a_lob_n01__1_1_3_1_1->n28_a_lob_n01__1_1_3_1_1_1 n28_a_lob_n01__1_1_3_1_1_2 NP n28_a_lob_n01__1_1_3_1_1->n28_a_lob_n01__1_1_3_1_1_2 n28_a_lob_n01__1_1_3_1_1_1->n28_a_lob_n01__1_1_3_1_1_1_1 n28_a_lob_n01__1_1_3_1_1_2_1 D n28_a_lob_n01__1_1_3_1_1_2->n28_a_lob_n01__1_1_3_1_1_2_1 n28_a_lob_n01__1_1_3_1_1_2_2 N n28_a_lob_n01__1_1_3_1_1_2->n28_a_lob_n01__1_1_3_1_1_2_2 n28_a_lob_n01__1_1_3_1_1_2_1->n28_a_lob_n01__1_1_3_1_1_2_1_1 n28_a_lob_n01__1_1_3_1_1_2_2->n28_a_lob_n01__1_1_3_1_1_2_2_1 n28_a_lob_n01__1_1_3_1_2->n28_a_lob_n01__1_1_3_1_2_1 n28_a_lob_n01__1_1_3_1_3_1 NPR n28_a_lob_n01__1_1_3_1_3->n28_a_lob_n01__1_1_3_1_3_1 n28_a_lob_n01__1_1_3_1_3_1->n28_a_lob_n01__1_1_3_1_3_1_1 n28_a_lob_n01__1_1_4->n28_a_lob_n01__1_1_4_1 n28_a_lob_n01__1_1_5_1 ILYR n28_a_lob_n01__1_1_5->n28_a_lob_n01__1_1_5_1 n28_a_lob_n01__1_1_5_1_1 PP-TPC-NIM n28_a_lob_n01__1_1_5_1->n28_a_lob_n01__1_1_5_1_1 n28_a_lob_n01__1_1_5_1_2 PUNC n28_a_lob_n01__1_1_5_1->n28_a_lob_n01__1_1_5_1_2 n28_a_lob_n01__1_1_5_1_3 NP-SBJ n28_a_lob_n01__1_1_5_1->n28_a_lob_n01__1_1_5_1_3 n28_a_lob_n01__1_1_5_1_1_1 P-ROLE n28_a_lob_n01__1_1_5_1_1->n28_a_lob_n01__1_1_5_1_1_1 n28_a_lob_n01__1_1_5_1_1_2 NP n28_a_lob_n01__1_1_5_1_1->n28_a_lob_n01__1_1_5_1_1_2 n28_a_lob_n01__1_1_5_1_1_1->n28_a_lob_n01__1_1_5_1_1_1_1 n28_a_lob_n01__1_1_5_1_1_2_1 D n28_a_lob_n01__1_1_5_1_1_2->n28_a_lob_n01__1_1_5_1_1_2_1 n28_a_lob_n01__1_1_5_1_1_2_2 N n28_a_lob_n01__1_1_5_1_1_2->n28_a_lob_n01__1_1_5_1_1_2_2 n28_a_lob_n01__1_1_5_1_1_2_1->n28_a_lob_n01__1_1_5_1_1_2_1_1 n28_a_lob_n01__1_1_5_1_1_2_2->n28_a_lob_n01__1_1_5_1_1_2_2_1 n28_a_lob_n01__1_1_5_1_2->n28_a_lob_n01__1_1_5_1_2_1 n28_a_lob_n01__1_1_5_1_3_1 NPR n28_a_lob_n01__1_1_5_1_3->n28_a_lob_n01__1_1_5_1_3_1 n28_a_lob_n01__1_1_5_1_3_1->n28_a_lob_n01__1_1_5_1_3_1_1 n28_a_lob_n01__1_2->n28_a_lob_n01__1_2_1 
( (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))