TSPC 21_a_lob

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

( (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 (ADVP-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))

arc(r_0021_0001__A_r_0021_0003__government,r_0021_0002__modern,attrib).
arc(r_0021_0004__needs,r_0021_0001__A_r_0021_0003__government,arg0).
arc(r_0021_0004__needs,r_0021_0005__taxation,arg1).
arc(r_0021_0004__needs,r_0021_0012__but,nim).
arc(r_0021_0010__and,r_0021_0009__defence,conj1).
arc(r_0021_0010__and,r_0021_0011__offence,conj2).
arc(r_0021_0012__but,r_0021_0010__and,r_0021_0006__not_r_0021_0007__merely_r_0021_0008__for__nim).
arc(r_0021_0012__but,r_0021_0014__a_r_0021_0017__range,r_0021_0013__for__nim).
arc(r_0021_0014__a_r_0021_0017__range,r_0021_0016__wide,attrib).
arc(r_0021_0014__a_r_0021_0017__range,r_0021_0020__services,r_0021_0018__of).
arc(r_0021_0016__wide,r_0021_0015__very,qual).
arc(r_0021_0020__services,r_0021_0019__social,attrib).

fof(formula,axiom,
    ? [R_0021_0002__MODERN,R_0021_0001__A_R_0021_0003__GOVERNMENT,R_0021_0005__TAXATION,R_0021_0009__DEFENCE,R_0021_0011__OFFENCE,R_0021_0010__AND,R_0021_0015__VERY,R_0021_0016__WIDE,R_0021_0019__SOCIAL,R_0021_0020__SERVICES,R_0021_0014__A_R_0021_0017__RANGE,R_0021_0012__BUT,R_0021_0004__NEEDS] :
      ( r_0021_0002__modern(R_0021_0002__MODERN)
      & r_0021_0005__taxation(R_0021_0005__TAXATION)
      & r_0021_0009__defence(R_0021_0009__DEFENCE)
      & r_0021_0011__offence(R_0021_0011__OFFENCE)
      & r_0021_0015__very(R_0021_0015__VERY)
      & r_0021_0019__social(R_0021_0019__SOCIAL)
      & r_0021_0004__needs(R_0021_0004__NEEDS)
      & has_nim(R_0021_0004__NEEDS,R_0021_0012__BUT)
      & r_0021_0012__but(R_0021_0012__BUT)
      & has_r_0021_0013__for__nim(R_0021_0012__BUT,R_0021_0014__A_R_0021_0017__RANGE)
      & r_0021_0014__a_r_0021_0017__range(R_0021_0014__A_R_0021_0017__RANGE)
      & has_r_0021_0018__of(R_0021_0014__A_R_0021_0017__RANGE,R_0021_0020__SERVICES)
      & r_0021_0020__services(R_0021_0020__SERVICES)
      & has_attrib(R_0021_0020__SERVICES,R_0021_0019__SOCIAL)
      & has_attrib(R_0021_0014__A_R_0021_0017__RANGE,R_0021_0016__WIDE)
      & r_0021_0016__wide(R_0021_0016__WIDE)
      & has_qual(R_0021_0016__WIDE,R_0021_0015__VERY)
      & has_r_0021_0006__not_r_0021_0007__merely_r_0021_0008__for__nim(R_0021_0012__BUT,R_0021_0010__AND)
      & r_0021_0010__and(R_0021_0010__AND)
      & has_conj2(R_0021_0010__AND,R_0021_0011__OFFENCE)
      & has_conj1(R_0021_0010__AND,R_0021_0009__DEFENCE)
      & 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_attrib(R_0021_0001__A_R_0021_0003__GOVERNMENT,R_0021_0002__MODERN) ) ).