128_a_history_of_greece
At the same time, the massive growth in air and road transport saw shipping decline in importance.
( (IP-MAT (PP-NIM (P-ROLE At;{at})
(NP (D the;{the})
(ADJP (ADJ same;{same}))
(N time;{time})))
(PUNC ,)
(NP-SBJ (D the;{the})
(ADJP (ADJ massive;{massive}))
(N growth;{growth})
(PP (P-ROLE in;{in})
(NP (NLYR (NLYR (N air;{air}))
(CONJP (CONJ and;{and})
(NLYR (N road;{road})
(N transport;{transport})))))))
(VBD;_Tni_ saw;{see})
(NP-DOB1 (N shipping;{shipping}))
(IP-INF-OB1 (VB;_I_ decline;{decline})
(PP-NIM (P-ROLE in;{in})
(NP (N importance;{importance}))))
(PUNC .))
(ID 128_a_history_of_greece))
arc(r_0128_0002__the_r_0128_0004__time,r_0128_0003__same,attrib).
arc(r_0128_0006__the_r_0128_0008__growth,r_0128_0007__massive,attrib).
arc(r_0128_0006__the_r_0128_0008__growth,r_0128_0011__and,r_0128_0009__in).
arc(r_0128_0011__and,r_0128_0010__air,conj1).
arc(r_0128_0011__and,r_0128_0012__road_r_0128_0013__transport,conj2).
arc(r_0128_0014__saw,r_0128_0002__the_r_0128_0004__time,r_0128_0001__At__nim).
arc(r_0128_0014__saw,r_0128_0006__the_r_0128_0008__growth,arg0).
arc(r_0128_0014__saw,r_0128_0016__decline,arg1).
arc(r_0128_0016__decline,r_0128_0015__shipping,arg0).
arc(r_0128_0016__decline,r_0128_0018__importance,r_0128_0017__in__nim).
fof(formula,axiom,
? [R_0128_0003__SAME,R_0128_0002__THE_R_0128_0004__TIME,R_0128_0007__MASSIVE,R_0128_0010__AIR,R_0128_0012__ROAD_R_0128_0013__TRANSPORT,R_0128_0011__AND,R_0128_0006__THE_R_0128_0008__GROWTH,R_0128_0015__SHIPPING,R_0128_0018__IMPORTANCE,R_0128_0016__DECLINE,R_0128_0014__SAW] :
( r_0128_0003__same(R_0128_0003__SAME)
& r_0128_0007__massive(R_0128_0007__MASSIVE)
& r_0128_0010__air(R_0128_0010__AIR)
& r_0128_0012__road_r_0128_0013__transport(R_0128_0012__ROAD_R_0128_0013__TRANSPORT)
& r_0128_0015__shipping(R_0128_0015__SHIPPING)
& r_0128_0018__importance(R_0128_0018__IMPORTANCE)
& r_0128_0014__saw(R_0128_0014__SAW)
& has_arg1(R_0128_0014__SAW,R_0128_0016__DECLINE)
& r_0128_0016__decline(R_0128_0016__DECLINE)
& has_r_0128_0017__in__nim(R_0128_0016__DECLINE,R_0128_0018__IMPORTANCE)
& has_arg0(R_0128_0016__DECLINE,R_0128_0015__SHIPPING)
& has_arg0(R_0128_0014__SAW,R_0128_0006__THE_R_0128_0008__GROWTH)
& r_0128_0006__the_r_0128_0008__growth(R_0128_0006__THE_R_0128_0008__GROWTH)
& has_r_0128_0009__in(R_0128_0006__THE_R_0128_0008__GROWTH,R_0128_0011__AND)
& r_0128_0011__and(R_0128_0011__AND)
& has_conj2(R_0128_0011__AND,R_0128_0012__ROAD_R_0128_0013__TRANSPORT)
& has_conj1(R_0128_0011__AND,R_0128_0010__AIR)
& has_attrib(R_0128_0006__THE_R_0128_0008__GROWTH,R_0128_0007__MASSIVE)
& has_r_0128_0001__At__nim(R_0128_0014__SAW,R_0128_0002__THE_R_0128_0004__TIME)
& r_0128_0002__the_r_0128_0004__time(R_0128_0002__THE_R_0128_0004__TIME)
& has_attrib(R_0128_0002__THE_R_0128_0004__TIME,R_0128_0003__SAME) ) ).