TSPC 22_a_ks4

22_a_ks4_english
This requires an increasingly wide knowledge of vocabulary and grammar.

( (IP-MAT (NP-SBJ;{WRITEWIDE} (D;_nphd_ This;{this}))
          (VBP;_Tn_ requires;{require})
          (NP-OB1 (D an;{an})
                  (ADJP (ADVP (ADV increasingly;{increasingly}))
                        (ADJ wide;{wide}))
                  (N knowledge;{knowledge})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR (N vocabulary;{vocabulary}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (N grammar;{grammar})))))))
          (PUNC .))
  (ID 22_a_ks4_english))

arc(r_0022_0002__requires,r_0022_0001__This,arg0).
arc(r_0022_0002__requires,r_0022_0003__an_r_0022_0006__knowledge,arg1).
arc(r_0022_0003__an_r_0022_0006__knowledge,r_0022_0005__wide,attrib).
arc(r_0022_0003__an_r_0022_0006__knowledge,r_0022_0009__and,r_0022_0007__of).
arc(r_0022_0005__wide,r_0022_0004__increasingly,qual).
arc(r_0022_0009__and,r_0022_0008__vocabulary,conj1).
arc(r_0022_0009__and,r_0022_0010__grammar,conj2).

fof(formula,axiom,
    ? [R_0022_0001__THIS,R_0022_0004__INCREASINGLY,R_0022_0005__WIDE,R_0022_0008__VOCABULARY,R_0022_0010__GRAMMAR,R_0022_0009__AND,R_0022_0003__AN_R_0022_0006__KNOWLEDGE,R_0022_0002__REQUIRES] :
      ( r_0022_0001__This(R_0022_0001__THIS)
      & r_0022_0004__increasingly(R_0022_0004__INCREASINGLY)
      & r_0022_0008__vocabulary(R_0022_0008__VOCABULARY)
      & r_0022_0010__grammar(R_0022_0010__GRAMMAR)
      & r_0022_0002__requires(R_0022_0002__REQUIRES)
      & has_arg1(R_0022_0002__REQUIRES,R_0022_0003__AN_R_0022_0006__KNOWLEDGE)
      & r_0022_0003__an_r_0022_0006__knowledge(R_0022_0003__AN_R_0022_0006__KNOWLEDGE)
      & has_r_0022_0007__of(R_0022_0003__AN_R_0022_0006__KNOWLEDGE,R_0022_0009__AND)
      & r_0022_0009__and(R_0022_0009__AND)
      & has_conj2(R_0022_0009__AND,R_0022_0010__GRAMMAR)
      & has_conj1(R_0022_0009__AND,R_0022_0008__VOCABULARY)
      & has_attrib(R_0022_0003__AN_R_0022_0006__KNOWLEDGE,R_0022_0005__WIDE)
      & r_0022_0005__wide(R_0022_0005__WIDE)
      & has_qual(R_0022_0005__WIDE,R_0022_0004__INCREASINGLY)
      & has_arg0(R_0022_0002__REQUIRES,R_0022_0001__THIS) ) ).