27_a_lob_n02
It was all over and done with.
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, qual10).
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_27_2_WAS,R_27_1_IT,R_27_5_AND,R_27_4_OVER,R_27_3_ALL,R_27_6_DONE_WITH] :
( it(R_27_1_IT)
& all(R_27_3_ALL)
& done_with(R_27_6_DONE_WITH)
& was(R_27_2_WAS,R_27_1_IT,R_27_5_AND)
& and(R_27_5_AND)
& conj1(R_27_5_AND,R_27_4_OVER)
& over(R_27_4_OVER)
& qual10(R_27_4_OVER,R_27_3_ALL)
& conj2(R_27_5_AND,R_27_6_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))