TSPC 20_a_johnson

20_a_johnson_letter
The enclosed leaflet sets out more detail about the support available and the rules you need to follow.

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ enclosed;{enclosed}))
                  (N leaflet;{leaflet}))
          (VBP;_phr_Vn<=>p_ sets;{set[out]})
          (RP out;{out})
          (NP-OB1 (ADVP (ADVR more;{more}))
                  (N detail;{detail})
                  (PP (P-ROLE about;{about})
                      (NP (NLYR (NLYR (D the;{the})
                                      (N support;{support})
                                      (ADJP (ADJ available;{available})))
                                (CONJP (CONJ and;{and})
                                       (NLYR (D the;{the})
                                             (NS rules;{rule})
                                             (IP-REL (NP-SBJ (PRO you;{you}))
                                                     (VBP;_Tt_ need;{need})
                                                     (IP-INF-OB1 (NP-OB1 *T*)
                                                                 (TO to;{to})
                                                                 (VB;_Tn_ follow;{follow})))))))))
          (PUNC .))
  (ID 20_a_johnson_letter))

arc(r_0020_0001__The_r_0020_0003__leaflet,r_0020_0002__enclosed,attrib).
arc(r_0020_0004__sets_r_0020_0005__out,r_0020_0001__The_r_0020_0003__leaflet,arg0).
arc(r_0020_0004__sets_r_0020_0005__out,r_0020_0007__detail,arg1).
arc(r_0020_0007__detail,r_0020_0006__more,qual).
arc(r_0020_0007__detail,r_0020_0012__and,r_0020_0008__about).
arc(r_0020_0009__the_r_0020_0010__support,r_0020_0011__available,attrib).
arc(r_0020_0012__and,r_0020_0009__the_r_0020_0010__support,conj1).
arc(r_0020_0012__and,r_0020_0013__the_r_0020_0014__rules,conj2).
arc(r_0020_0016__need,r_0020_0015__you,arg0).
arc(r_0020_0016__need,r_0020_0018__follow,arg1).
arc(r_0020_0018__follow,r_0020_0013__the_r_0020_0014__rules,inv_arg1).
arc(r_0020_0018__follow,r_0020_0015__you,arg0).

fof(formula,axiom,
    ? [R_0020_0002__ENCLOSED,R_0020_0001__THE_R_0020_0003__LEAFLET,R_0020_0006__MORE,R_0020_0011__AVAILABLE,R_0020_0009__THE_R_0020_0010__SUPPORT,R_0020_0015__YOU,R_0020_0018__FOLLOW,R_0020_0013__THE_R_0020_0014__RULES,R_0020_0012__AND,R_0020_0007__DETAIL,R_0020_0004__SETS_R_0020_0005__OUT,R_0020_0016__NEED] :
      ( r_0020_0002__enclosed(R_0020_0002__ENCLOSED)
      & r_0020_0006__more(R_0020_0006__MORE)
      & r_0020_0011__available(R_0020_0011__AVAILABLE)
      & r_0020_0015__you(R_0020_0015__YOU)
      & r_0020_0016__need(R_0020_0016__NEED)
      & has_arg1(R_0020_0016__NEED,R_0020_0018__FOLLOW)
      & r_0020_0018__follow(R_0020_0018__FOLLOW)
      & has_arg0(R_0020_0018__FOLLOW,R_0020_0015__YOU)
      & has_arg0(R_0020_0016__NEED,R_0020_0015__YOU)
      & r_0020_0004__sets_r_0020_0005__out(R_0020_0004__SETS_R_0020_0005__OUT)
      & has_arg1(R_0020_0004__SETS_R_0020_0005__OUT,R_0020_0007__DETAIL)
      & r_0020_0007__detail(R_0020_0007__DETAIL)
      & has_r_0020_0008__about(R_0020_0007__DETAIL,R_0020_0012__AND)
      & r_0020_0012__and(R_0020_0012__AND)
      & has_conj2(R_0020_0012__AND,R_0020_0013__THE_R_0020_0014__RULES)
      & r_0020_0013__the_r_0020_0014__rules(R_0020_0013__THE_R_0020_0014__RULES)
      & has_inv_arg1(R_0020_0013__THE_R_0020_0014__RULES,R_0020_0018__FOLLOW)
      & has_conj1(R_0020_0012__AND,R_0020_0009__THE_R_0020_0010__SUPPORT)
      & r_0020_0009__the_r_0020_0010__support(R_0020_0009__THE_R_0020_0010__SUPPORT)
      & has_attrib(R_0020_0009__THE_R_0020_0010__SUPPORT,R_0020_0011__AVAILABLE)
      & has_qual(R_0020_0007__DETAIL,R_0020_0006__MORE)
      & has_arg0(R_0020_0004__SETS_R_0020_0005__OUT,R_0020_0001__THE_R_0020_0003__LEAFLET)
      & r_0020_0001__The_r_0020_0003__leaflet(R_0020_0001__THE_R_0020_0003__LEAFLET)
      & has_attrib(R_0020_0001__THE_R_0020_0003__LEAFLET,R_0020_0002__ENCLOSED) ) ).