27_a_lob_n02
It was all over and done with.
( (IP-MAT (NP-SBJ (PRO It;{it}))
(BED;_La_ was;{be})
(ADJP-PRD (AJLYR (AJLYR (ADVP (ADV all;{all}))
(ADJ over;{over}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ done_with;{done_with})))))
(PUNC .))
(ID 27_a_lob_n02))
arc(r_0027_0002__was,r_0027_0001__It,arg0).
arc(r_0027_0002__was,r_0027_0005__and,prd).
arc(r_0027_0004__over,r_0027_0003__all,qual).
arc(r_0027_0005__and,r_0027_0004__over,conj1).
arc(r_0027_0005__and,r_0027_0006__done_with,conj2).
fof(formula,axiom,
? [R_0027_0001__IT,R_0027_0003__ALL,R_0027_0004__OVER,R_0027_0006__DONE_WITH,R_0027_0005__AND,R_0027_0002__WAS] :
( r_0027_0001__It(R_0027_0001__IT)
& r_0027_0003__all(R_0027_0003__ALL)
& r_0027_0006__done_with(R_0027_0006__DONE_WITH)
& r_0027_0002__was(R_0027_0002__WAS)
& has_prd(R_0027_0002__WAS,R_0027_0005__AND)
& r_0027_0005__and(R_0027_0005__AND)
& has_conj2(R_0027_0005__AND,R_0027_0006__DONE_WITH)
& has_conj1(R_0027_0005__AND,R_0027_0004__OVER)
& r_0027_0004__over(R_0027_0004__OVER)
& has_qual(R_0027_0004__OVER,R_0027_0003__ALL)
& has_arg0(R_0027_0002__WAS,R_0027_0001__IT) ) ).