123_a_history_of_greece
Later the Germans came in force and occupied many of the islands.
( (IP-MAT (ADVP-NIM (ADV Later;{later}))
(NP-SBJ (D the;{the})
(NPRS Germans;{Germans}))
(ILYR (ILYR (VBD;_I_ came;{come})
(PP-NIM (P-ROLE in;{in})
(NP (N force;{force}))))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tn_ occupied;{occupy})
(NP-OB1 (ADJP (ADJ many;{many}))
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS islands;{island})))))))
(PUNC .))
(ID 123_a_history_of_greece))
arc(r_0123_0004__came,r_0123_0001__Later,nim).
arc(r_0123_0004__came,r_0123_0002__the_r_0123_0003__Germans,arg0).
arc(r_0123_0004__came,r_0123_0006__force,r_0123_0005__in__nim).
arc(r_0123_0007__and,r_0123_0004__came,conj1).
arc(r_0123_0007__and,r_0123_0008__occupied,conj2).
arc(r_0123_0008__occupied,r_0123_0001__Later,nim).
arc(r_0123_0008__occupied,r_0123_0002__the_r_0123_0003__Germans,arg0).
arc(r_0123_0008__occupied,z_0123_5007,arg1).
arc(z_0123_5007,r_0123_0009__many,attrib).
arc(z_0123_5007,r_0123_0011__the_r_0123_0012__islands,r_0123_0010__of).
fof(formula,axiom,
? [R_0123_0001__LATER,R_0123_0002__THE_R_0123_0003__GERMANS,R_0123_0006__FORCE,R_0123_0004__CAME,R_0123_0009__MANY,R_0123_0011__THE_R_0123_0012__ISLANDS,Z_0123_5007,R_0123_0008__OCCUPIED,R_0123_0007__AND] :
( r_0123_0001__Later(R_0123_0001__LATER)
& r_0123_0002__the_r_0123_0003__Germans(R_0123_0002__THE_R_0123_0003__GERMANS)
& r_0123_0006__force(R_0123_0006__FORCE)
& r_0123_0009__many(R_0123_0009__MANY)
& r_0123_0011__the_r_0123_0012__islands(R_0123_0011__THE_R_0123_0012__ISLANDS)
& r_0123_0007__and(R_0123_0007__AND)
& has_conj2(R_0123_0007__AND,R_0123_0008__OCCUPIED)
& r_0123_0008__occupied(R_0123_0008__OCCUPIED)
& has_arg1(R_0123_0008__OCCUPIED,Z_0123_5007)
& z_0123_5007(Z_0123_5007)
& has_r_0123_0010__of(Z_0123_5007,R_0123_0011__THE_R_0123_0012__ISLANDS)
& has_attrib(Z_0123_5007,R_0123_0009__MANY)
& has_arg0(R_0123_0008__OCCUPIED,R_0123_0002__THE_R_0123_0003__GERMANS)
& has_nim(R_0123_0008__OCCUPIED,R_0123_0001__LATER)
& has_conj1(R_0123_0007__AND,R_0123_0004__CAME)
& r_0123_0004__came(R_0123_0004__CAME)
& has_r_0123_0005__in__nim(R_0123_0004__CAME,R_0123_0006__FORCE)
& has_arg0(R_0123_0004__CAME,R_0123_0002__THE_R_0123_0003__GERMANS)
& has_nim(R_0123_0004__CAME,R_0123_0001__LATER) ) ).