28_a_lob_n01
Ahead lay the Plain of Lombardy; to the right, Turin; to the left, Milan.
( (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))
arc(r_0028_0002__lay,r_0028_0001__Ahead,nim).
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_0028_5001,r_0028_0002__lay,conj1).
arc(z_0028_5001,z_0028_5006,conj2).
arc(z_0028_5001,z_0028_5009,conj3).
arc(z_0028_5006,r_0028_0009__the_r_0028_0010__right,r_0028_0008__to__nim).
arc(z_0028_5006,r_0028_0012__Turin,arg0).
arc(z_0028_5009,r_0028_0015__the_r_0028_0016__left,r_0028_0014__to__nim).
arc(z_0028_5009,r_0028_0018__Milan,arg0).
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_0028_5006,R_0028_0015__THE_R_0028_0016__LEFT,R_0028_0018__MILAN,Z_0028_5009,Z_0028_5001] :
( 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_0028_5001(Z_0028_5001)
& has_conj3(Z_0028_5001,Z_0028_5009)
& z_0028_5009(Z_0028_5009)
& has_arg0(Z_0028_5009,R_0028_0018__MILAN)
& has_r_0028_0014__to__nim(Z_0028_5009,R_0028_0015__THE_R_0028_0016__LEFT)
& has_conj2(Z_0028_5001,Z_0028_5006)
& z_0028_5006(Z_0028_5006)
& has_arg0(Z_0028_5006,R_0028_0012__TURIN)
& has_r_0028_0008__to__nim(Z_0028_5006,R_0028_0009__THE_R_0028_0010__RIGHT)
& has_conj1(Z_0028_5001,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_nim(R_0028_0002__LAY,R_0028_0001__AHEAD) ) ).