21_a_lob_g01
A modern government needs taxation not merely for defence and offence but for a very wide range of social services.
arc(r_0021_0001__A_r_0021_0003__government, r_0021_0002__modern, attrib5).
arc(r_0021_0004__needs, r_0021_0001__A_r_0021_0003__government, arg0).
arc(r_0021_0004__needs, r_0021_0005__taxation, arg1).
fof(formula,axiom,
? [R_21_4_NEEDS,R_21_1_A_GOVERNMENT,R_21_2_MODERN,R_21_5_TAXATION] :
( modern(R_21_2_MODERN)
& taxation(R_21_5_TAXATION)
& needs(R_21_4_NEEDS,R_21_1_A_GOVERNMENT,R_21_5_TAXATION)
& a_government(R_21_1_A_GOVERNMENT)
& attrib5(R_21_1_A_GOVERNMENT,R_21_2_MODERN) ) ).
( (IP-MAT (NP-SBJ (D A;{a})
(ADJP (ADJ modern;{modern}))
(N government;{government}))
(VBP;_Tn_ needs;{need})
(NP-OB1 (N taxation;{taxation}))
(PP-NIM (PP-NIM (NEG not;{not})
(ADV merely;{merely})
(P-ROLE for;{for})
(NP (NLYR (NLYR (N defence;{defence}))
(CONJP (CONJ and;{and})
(NLYR (N offence;{offence}))))))
(CONJP (CONJ but;{but})
(PP-NIM (P-ROLE for;{for})
(NP (D a;{a})
(ADJP (ADVP (ADV very;{very}))
(ADJ wide;{wide}))
(N range;{range})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ social;{social}))
(NS services;{service})))))))
(PUNC .))
(ID 21_a_lob_g01))