35_a_history_of_greece
Culture and the arts flourished once again.
( (IP-MAT (NP-SBJ (NLYR (NLYR (N Culture;{culture}))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(NS arts;{art})))))
(VBD;_I_ flourished;{flourish})
(ADVP-NIM (ADV once_again;{once_again}))
(PUNC .))
(ID 35_a_history_of_greece))
arc(r_0035_0002__and,r_0035_0001__Culture,conj1).
arc(r_0035_0002__and,r_0035_0003__the_r_0035_0004__arts,conj2).
arc(r_0035_0005__flourished,r_0035_0002__and,arg0).
arc(r_0035_0005__flourished,r_0035_0006__once_again,nim).
fof(formula,axiom,
? [R_0035_0001__CULTURE,R_0035_0003__THE_R_0035_0004__ARTS,R_0035_0002__AND,R_0035_0006__ONCE_AGAIN,R_0035_0005__FLOURISHED] :
( r_0035_0001__Culture(R_0035_0001__CULTURE)
& r_0035_0003__the_r_0035_0004__arts(R_0035_0003__THE_R_0035_0004__ARTS)
& r_0035_0006__once_again(R_0035_0006__ONCE_AGAIN)
& r_0035_0005__flourished(R_0035_0005__FLOURISHED)
& has_nim(R_0035_0005__FLOURISHED,R_0035_0006__ONCE_AGAIN)
& has_arg0(R_0035_0005__FLOURISHED,R_0035_0002__AND)
& r_0035_0002__and(R_0035_0002__AND)
& has_conj2(R_0035_0002__AND,R_0035_0003__THE_R_0035_0004__ARTS)
& has_conj1(R_0035_0002__AND,R_0035_0001__CULTURE) ) ).