TSPC 9_a_major

9_a_major_case
14. The handful of documents exhibited to the very short statement of the Treasury Solicitor must be treated with caution, for two main reasons.

arc(r_0009_0002__The_r_0009_0003__handful, r_0009_0005__documents, r_0009_0004__of).
arc(r_0009_0002__The_r_0009_0003__handful, r_0009_0008__the_r_0009_0011__statement, r_0009_0007__to).
arc(r_0009_0006__exhibited, r_0009_0005__documents, arg1).
arc(r_0009_0006__exhibited, z_000_9_a_major_case_17, arg0).
arc(r_0009_0008__the_r_0009_0011__statement, r_0009_0010__short, attrib27).
arc(r_0009_0008__the_r_0009_0011__statement, r_0009_0013__the_r_0009_0014__Treasury_r_0009_0015__Solicitor, r_0009_0012__of).
arc(r_0009_0010__short, r_0009_0009__very, qual28).
arc(r_0009_0016__must, r_0009_0017__be, scope).
arc(r_0009_0017__be, r_0009_0018__treated, scope).
arc(r_0009_0017__be, r_0009_0023__two_r_0009_0025__reasons, r_0009_0022__for_nim66).
arc(r_0009_0018__treated, r_0009_0002__The_r_0009_0003__handful, arg1).
arc(r_0009_0018__treated, r_0009_0020__caution, r_0009_0019__with_clr58).
arc(r_0009_0018__treated, z_000_9_a_major_case_51, arg0).
arc(r_0009_0023__two_r_0009_0025__reasons, r_0009_0024__main, attrib69).

fof(formula,axiom,
    ? [R_0009_0005__DOCUMENTS,Z_000_9_A_MAJOR_CASE_17,R_0009_0006__EXHIBITED,R_0009_0024__MAIN,R_0009_0023__TWO_R_0009_0025__REASONS,R_0009_0009__VERY,R_0009_0010__SHORT,R_0009_0013__THE_R_0009_0014__TREASURY_R_0009_0015__SOLICITOR,R_0009_0008__THE_R_0009_0011__STATEMENT,R_0009_0002__THE_R_0009_0003__HANDFUL,R_0009_0020__CAUTION,Z_000_9_A_MAJOR_CASE_51,R_0009_0016__MUST_R_0009_0017__BE_R_0009_0018__TREATED] :
      ( r_0009_0005__documents(R_0009_0005__DOCUMENTS)
      & r_0009_0009__very(R_0009_0009__VERY)
      & r_0009_0013__the_r_0009_0014__Treasury_r_0009_0015__Solicitor(R_0009_0013__THE_R_0009_0014__TREASURY_R_0009_0015__SOLICITOR)
      & r_0009_0020__caution(R_0009_0020__CAUTION)
      & r_0009_0024__main(R_0009_0024__MAIN)
      & z_000_9_a_major_case_17(Z_000_9_A_MAJOR_CASE_17)
      & z_000_9_a_major_case_51(Z_000_9_A_MAJOR_CASE_51)
      & r_0009_0016__must_r_0009_0017__be_r_0009_0018__treated(R_0009_0016__MUST_R_0009_0017__BE_R_0009_0018__TREATED)
      & has_arg0(R_0009_0016__MUST_R_0009_0017__BE_R_0009_0018__TREATED,Z_000_9_A_MAJOR_CASE_51)
      & has_r_0009_0019__with_clr58(R_0009_0016__MUST_R_0009_0017__BE_R_0009_0018__TREATED,R_0009_0020__CAUTION)
      & has_arg1(R_0009_0016__MUST_R_0009_0017__BE_R_0009_0018__TREATED,R_0009_0002__THE_R_0009_0003__HANDFUL)
      & r_0009_0002__The_r_0009_0003__handful(R_0009_0002__THE_R_0009_0003__HANDFUL)
      & has_r_0009_0007__to(R_0009_0002__THE_R_0009_0003__HANDFUL,R_0009_0008__THE_R_0009_0011__STATEMENT)
      & r_0009_0008__the_r_0009_0011__statement(R_0009_0008__THE_R_0009_0011__STATEMENT)
      & has_r_0009_0012__of(R_0009_0008__THE_R_0009_0011__STATEMENT,R_0009_0013__THE_R_0009_0014__TREASURY_R_0009_0015__SOLICITOR)
      & has_attrib27(R_0009_0008__THE_R_0009_0011__STATEMENT,R_0009_0010__SHORT)
      & r_0009_0010__short(R_0009_0010__SHORT)
      & has_qual28(R_0009_0010__SHORT,R_0009_0009__VERY)
      & has_r_0009_0004__of(R_0009_0002__THE_R_0009_0003__HANDFUL,R_0009_0005__DOCUMENTS)
      & has_r_0009_0022__for_nim66(R_0009_0016__MUST_R_0009_0017__BE_R_0009_0018__TREATED,R_0009_0023__TWO_R_0009_0025__REASONS)
      & r_0009_0023__two_r_0009_0025__reasons(R_0009_0023__TWO_R_0009_0025__REASONS)
      & has_attrib69(R_0009_0023__TWO_R_0009_0025__REASONS,R_0009_0024__MAIN)
      & r_0009_0006__exhibited(R_0009_0006__EXHIBITED)
      & has_arg0(R_0009_0006__EXHIBITED,Z_000_9_A_MAJOR_CASE_17)
      & has_arg1(R_0009_0006__EXHIBITED,R_0009_0005__DOCUMENTS) ) ).

( (IP-MAT (LST (LS 14<dot>))
          (NP-SBJ;{DOCUMENTS} (D The;{the})
                              (N handful;{handful})
                              (PP (P-ROLE of;{of})
                                  (NP (NS documents;{document})
                                      (IP-PPL (NP-LGS *)
                                              (VVN;_Tn_ exhibited;{exhibit}))))
                              (PP (P-ROLE to;{to})
                                  (NP (D the;{the})
                                      (ADJP (ADVP (ADV very;{very}))
                                            (ADJ short;{short}))
                                      (N statement;{statement})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (NPR Treasury;{Treasury})
                                              (NPR Solicitor;{Solicitor}))))))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ treated;{treat[with]})
                                  (PP-CLR (P-ROLE with;{with})
                                          (NP (N caution;{caution}))))
                      (PUNC ,)
                      (PP-NIM (P-ROLE for;{for})
                              (NP (NUM two;{two})
                                  (ADJP (ADJ main;{main}))
                                  (NS reasons;{reason}))))
          (PUNC .))
  (ID 9_a_major_case))