Context                Previous, Next                Top


21_a_lob_g01
A modern government needs taxation not merely for defence and offence but for a very wide range of social services.

%3 r_0021_0001__A_r_0021_0003__government A government r_0021_0002__modern modern r_0021_0001__A_r_0021_0003__government->r_0021_0002__modern [attrib] r_0021_0004__needs needs r_0021_0004__needs->r_0021_0001__A_r_0021_0003__government [arg0] r_0021_0005__taxation taxation r_0021_0004__needs->r_0021_0005__taxation [arg1] 
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).


%3 r_0021_0004__needs needs r_0021_0005__taxation taxation r_0021_0004__needs->r_0021_0005__taxation [arg1] r_0021_0001__A_r_0021_0003__government A government r_0021_0004__needs->r_0021_0001__A_r_0021_0003__government [arg0] r_0021_0002__modern modern r_0021_0001__A_r_0021_0003__government->r_0021_0002__modern [attrib] 
fof(formula,axiom,
    ? [R_0021_0002__MODERN,R_0021_0001__A_R_0021_0003__GOVERNMENT,R_0021_0005__TAXATION,R_0021_0004__NEEDS] :
      ( r_0021_0002__modern(R_0021_0002__MODERN)
      & r_0021_0005__taxation(R_0021_0005__TAXATION)
      & r_0021_0004__needs(R_0021_0004__NEEDS)
      & has_arg1(R_0021_0004__NEEDS,R_0021_0005__TAXATION)
      & has_arg0(R_0021_0004__NEEDS,R_0021_0001__A_R_0021_0003__GOVERNMENT)
      & r_0021_0001__A_r_0021_0003__government(R_0021_0001__A_R_0021_0003__GOVERNMENT)
      & has_attrib5(R_0021_0001__A_R_0021_0003__GOVERNMENT,R_0021_0002__MODERN) ) ).


n21_a_lob_g01 n21_a_lob_g01__1_1_1_1 A n21_a_lob_g01__1_1_2_1_1 modern n21_a_lob_g01__1_1_3_1 government n21_a_lob_g01__1_2_1 needs n21_a_lob_g01__1_3_1_1 taxation n21_a_lob_g01__1_4_1_1_1 not n21_a_lob_g01__1_4_1_2_1 merely n21_a_lob_g01__1_4_1_3_1 for n21_a_lob_g01__1_4_1_4_1_1_1_1 defence n21_a_lob_g01__1_4_1_4_1_2_1_1 and n21_a_lob_g01__1_4_1_4_1_2_2_1_1 offence n21_a_lob_g01__1_4_2_1_1 but n21_a_lob_g01__1_4_2_2_1_1 for n21_a_lob_g01__1_4_2_2_2_1_1 a n21_a_lob_g01__1_4_2_2_2_2_1_1_1 very n21_a_lob_g01__1_4_2_2_2_2_2_1 wide n21_a_lob_g01__1_4_2_2_2_3_1 range n21_a_lob_g01__1_4_2_2_2_4_1_1 of n21_a_lob_g01__1_4_2_2_2_4_2_1_1_1 social n21_a_lob_g01__1_4_2_2_2_4_2_2_1 services n21_a_lob_g01__1_5_1 . n21_a_lob_g01__1 IP-MAT n21_a_lob_g01__1_1 NP-SBJ n21_a_lob_g01__1->n21_a_lob_g01__1_1 n21_a_lob_g01__1_2 VBP;_Tn_ n21_a_lob_g01__1->n21_a_lob_g01__1_2 n21_a_lob_g01__1_3 NP-OB1 n21_a_lob_g01__1->n21_a_lob_g01__1_3 n21_a_lob_g01__1_4 PP-NIM n21_a_lob_g01__1->n21_a_lob_g01__1_4 n21_a_lob_g01__1_5 PUNC n21_a_lob_g01__1->n21_a_lob_g01__1_5 n21_a_lob_g01__1_1_1 D n21_a_lob_g01__1_1->n21_a_lob_g01__1_1_1 n21_a_lob_g01__1_1_2 ADJP n21_a_lob_g01__1_1->n21_a_lob_g01__1_1_2 n21_a_lob_g01__1_1_3 N n21_a_lob_g01__1_1->n21_a_lob_g01__1_1_3 n21_a_lob_g01__1_1_1->n21_a_lob_g01__1_1_1_1 n21_a_lob_g01__1_1_2_1 ADJ n21_a_lob_g01__1_1_2->n21_a_lob_g01__1_1_2_1 n21_a_lob_g01__1_1_2_1->n21_a_lob_g01__1_1_2_1_1 n21_a_lob_g01__1_1_3->n21_a_lob_g01__1_1_3_1 n21_a_lob_g01__1_2->n21_a_lob_g01__1_2_1 n21_a_lob_g01__1_3_1 N n21_a_lob_g01__1_3->n21_a_lob_g01__1_3_1 n21_a_lob_g01__1_3_1->n21_a_lob_g01__1_3_1_1 n21_a_lob_g01__1_4_1 PP-NIM n21_a_lob_g01__1_4->n21_a_lob_g01__1_4_1 n21_a_lob_g01__1_4_2 CONJP n21_a_lob_g01__1_4->n21_a_lob_g01__1_4_2 n21_a_lob_g01__1_4_1_1 NEG n21_a_lob_g01__1_4_1->n21_a_lob_g01__1_4_1_1 n21_a_lob_g01__1_4_1_2 ADV n21_a_lob_g01__1_4_1->n21_a_lob_g01__1_4_1_2 n21_a_lob_g01__1_4_1_3 P-ROLE n21_a_lob_g01__1_4_1->n21_a_lob_g01__1_4_1_3 n21_a_lob_g01__1_4_1_4 NP n21_a_lob_g01__1_4_1->n21_a_lob_g01__1_4_1_4 n21_a_lob_g01__1_4_1_1->n21_a_lob_g01__1_4_1_1_1 n21_a_lob_g01__1_4_1_2->n21_a_lob_g01__1_4_1_2_1 n21_a_lob_g01__1_4_1_3->n21_a_lob_g01__1_4_1_3_1 n21_a_lob_g01__1_4_1_4_1 NLYR n21_a_lob_g01__1_4_1_4->n21_a_lob_g01__1_4_1_4_1 n21_a_lob_g01__1_4_1_4_1_1 NLYR n21_a_lob_g01__1_4_1_4_1->n21_a_lob_g01__1_4_1_4_1_1 n21_a_lob_g01__1_4_1_4_1_2 CONJP n21_a_lob_g01__1_4_1_4_1->n21_a_lob_g01__1_4_1_4_1_2 n21_a_lob_g01__1_4_1_4_1_1_1 N n21_a_lob_g01__1_4_1_4_1_1->n21_a_lob_g01__1_4_1_4_1_1_1 n21_a_lob_g01__1_4_1_4_1_1_1->n21_a_lob_g01__1_4_1_4_1_1_1_1 n21_a_lob_g01__1_4_1_4_1_2_1 CONJ n21_a_lob_g01__1_4_1_4_1_2->n21_a_lob_g01__1_4_1_4_1_2_1 n21_a_lob_g01__1_4_1_4_1_2_2 NLYR n21_a_lob_g01__1_4_1_4_1_2->n21_a_lob_g01__1_4_1_4_1_2_2 n21_a_lob_g01__1_4_1_4_1_2_1->n21_a_lob_g01__1_4_1_4_1_2_1_1 n21_a_lob_g01__1_4_1_4_1_2_2_1 N n21_a_lob_g01__1_4_1_4_1_2_2->n21_a_lob_g01__1_4_1_4_1_2_2_1 n21_a_lob_g01__1_4_1_4_1_2_2_1->n21_a_lob_g01__1_4_1_4_1_2_2_1_1 n21_a_lob_g01__1_4_2_1 CONJ n21_a_lob_g01__1_4_2->n21_a_lob_g01__1_4_2_1 n21_a_lob_g01__1_4_2_2 PP-NIM n21_a_lob_g01__1_4_2->n21_a_lob_g01__1_4_2_2 n21_a_lob_g01__1_4_2_1->n21_a_lob_g01__1_4_2_1_1 n21_a_lob_g01__1_4_2_2_1 P-ROLE n21_a_lob_g01__1_4_2_2->n21_a_lob_g01__1_4_2_2_1 n21_a_lob_g01__1_4_2_2_2 NP n21_a_lob_g01__1_4_2_2->n21_a_lob_g01__1_4_2_2_2 n21_a_lob_g01__1_4_2_2_1->n21_a_lob_g01__1_4_2_2_1_1 n21_a_lob_g01__1_4_2_2_2_1 D n21_a_lob_g01__1_4_2_2_2->n21_a_lob_g01__1_4_2_2_2_1 n21_a_lob_g01__1_4_2_2_2_2 ADJP n21_a_lob_g01__1_4_2_2_2->n21_a_lob_g01__1_4_2_2_2_2 n21_a_lob_g01__1_4_2_2_2_3 N n21_a_lob_g01__1_4_2_2_2->n21_a_lob_g01__1_4_2_2_2_3 n21_a_lob_g01__1_4_2_2_2_4 PP n21_a_lob_g01__1_4_2_2_2->n21_a_lob_g01__1_4_2_2_2_4 n21_a_lob_g01__1_4_2_2_2_1->n21_a_lob_g01__1_4_2_2_2_1_1 n21_a_lob_g01__1_4_2_2_2_2_1 ADVP n21_a_lob_g01__1_4_2_2_2_2->n21_a_lob_g01__1_4_2_2_2_2_1 n21_a_lob_g01__1_4_2_2_2_2_2 ADJ n21_a_lob_g01__1_4_2_2_2_2->n21_a_lob_g01__1_4_2_2_2_2_2 n21_a_lob_g01__1_4_2_2_2_2_1_1 ADV n21_a_lob_g01__1_4_2_2_2_2_1->n21_a_lob_g01__1_4_2_2_2_2_1_1 n21_a_lob_g01__1_4_2_2_2_2_1_1->n21_a_lob_g01__1_4_2_2_2_2_1_1_1 n21_a_lob_g01__1_4_2_2_2_2_2->n21_a_lob_g01__1_4_2_2_2_2_2_1 n21_a_lob_g01__1_4_2_2_2_3->n21_a_lob_g01__1_4_2_2_2_3_1 n21_a_lob_g01__1_4_2_2_2_4_1 P-ROLE n21_a_lob_g01__1_4_2_2_2_4->n21_a_lob_g01__1_4_2_2_2_4_1 n21_a_lob_g01__1_4_2_2_2_4_2 NP n21_a_lob_g01__1_4_2_2_2_4->n21_a_lob_g01__1_4_2_2_2_4_2 n21_a_lob_g01__1_4_2_2_2_4_1->n21_a_lob_g01__1_4_2_2_2_4_1_1 n21_a_lob_g01__1_4_2_2_2_4_2_1 ADJP n21_a_lob_g01__1_4_2_2_2_4_2->n21_a_lob_g01__1_4_2_2_2_4_2_1 n21_a_lob_g01__1_4_2_2_2_4_2_2 NS n21_a_lob_g01__1_4_2_2_2_4_2->n21_a_lob_g01__1_4_2_2_2_4_2_2 n21_a_lob_g01__1_4_2_2_2_4_2_1_1 ADJ n21_a_lob_g01__1_4_2_2_2_4_2_1->n21_a_lob_g01__1_4_2_2_2_4_2_1_1 n21_a_lob_g01__1_4_2_2_2_4_2_1_1->n21_a_lob_g01__1_4_2_2_2_4_2_1_1_1 n21_a_lob_g01__1_4_2_2_2_4_2_2->n21_a_lob_g01__1_4_2_2_2_4_2_2_1 n21_a_lob_g01__1_5->n21_a_lob_g01__1_5_1 
( (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))