66_a_lob_a01
The Americans say Germany is having it too good and is not paying for the past or for the present.
arc(r_0066_0003__say, r_0066_0001__The_r_0066_0002__Americans, arg0).
arc(r_0066_0003__say, r_0066_0010__and, arg1).
arc(r_0066_0005__is, r_0066_0006__having, scope).
arc(r_0066_0006__having, r_0066_0001__The_r_0066_0002__Americans, arg1).
arc(r_0066_0006__having, r_0066_0004__Germany, arg0).
arc(r_0066_0006__having, r_0066_0009__good, prd).
arc(r_0066_0009__good, r_0066_0008__too, qual25).
arc(r_0066_0010__and, r_0066_0005__is, conj1).
arc(r_0066_0010__and, r_0066_0012__not, conj2).
arc(r_0066_0011__is, r_0066_0013__paying, scope).
arc(r_0066_0012__not, r_0066_0011__is, keep_scope).
arc(r_0066_0013__paying, r_0066_0004__Germany, arg0).
arc(r_0066_0013__paying, r_0066_0015__the_r_0066_0016__past, r_0066_0014__for_clr44).
arc(r_0066_0013__paying, r_0066_0019__the_r_0066_0020__present, r_0066_0017__or_r_0066_0018__for_clr54).
fof(formula,axiom,
? [R_66_3_SAY,R_66_10_AND,R_66_5_IS_HAVING,R_66_4_GERMANY,R_66_1_THE_AMERICANS,R_66_9_GOOD,R_66_8_TOO] :
( germany(R_66_4_GERMANY)
& the_Americans(R_66_1_THE_AMERICANS)
& too(R_66_8_TOO)
& say(R_66_3_SAY,R_66_1_THE_AMERICANS,R_66_10_AND)
& and(R_66_10_AND)
& conj1(R_66_10_AND,R_66_5_IS_HAVING)
& is_having(R_66_5_IS_HAVING,R_66_4_GERMANY,R_66_1_THE_AMERICANS,R_66_9_GOOD)
& good(R_66_9_GOOD)
& qual25(R_66_9_GOOD,R_66_8_TOO)
& conj2(R_66_10_AND,R_66_12_NOT)
& ~ ? [R_66_11_IS_PAYING,R_66_15_THE_PAST,R_66_19_THE_PRESENT] :
( the_past(R_66_15_THE_PAST)
& the_present(R_66_19_THE_PRESENT)
& is_paying(R_66_11_IS_PAYING,R_66_4_GERMANY)
& for_clr44(R_66_11_IS_PAYING,R_66_15_THE_PAST)
& or_for_clr54(R_66_11_IS_PAYING,R_66_19_THE_PRESENT) ) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(NS Americans;{american}))
(VBP;_Tf_ say;{say})
(CP-THT-OB1 (IP-SUB (NP-SBJ (NPR Germany;{Germany}))
(ILYR (ILYR (BEP;_cat_Vg_ is;{be})
(IP-PPL-CAT (HAG;_Cn.a_ having;{have})
(NP-OB1 (PRO it;{it}))
(ADJP-PRD (ADVP (ADV too;{too}))
(ADJ good;{good}))))
(CONJP (CONJ and;{and})
(ILYR (BEP;_cat_Vg_ is;{be})
(NEG not;{not})
(IP-PPL-CAT (VAG;_Ipr_ paying;{pay[for]})
(PP-CLR (P-ROLE for;{for})
(NP (D the;{the})
(N past;{past})))
(PP-CLR (CONJ or;{or})
(P-ROLE for;{for})
(NP (D the;{the})
(N present;{present})))))))))
(PUNC .))
(ID 66_a_lob_a01))