arc(r_0032_0001__The_r_0032_0005__principles, r_0032_0007__Wiszniewski, r_0032_0006__in).
arc(r_0032_0004__known, r_0032_0001__The_r_0032_0005__principles, arg0).
arc(r_0032_0004__known, r_0032_0002__well, nim6).
arc(r_0032_0007__Wiszniewski, r_0032_0009__Central_r_0032_0010__Manchester_r_0032_0011__Health_r_0032_0012__Authority, r_0032_0008__v).
arc(r_0032_0019__support, r_0032_0001__The_r_0032_0005__principles, arg0).
arc(r_0032_0019__support, r_0032_0018__plainly, nim47).
arc(r_0032_0019__support, r_0032_0021__an_r_0032_0022__inference, arg1).
arc(r_0032_0021__an_r_0032_0022__inference, r_0032_0020__such, attrib53).
arc(z_000_32_a_major_case_33, r_0032_0007__Wiszniewski, arg0).
arc(z_000_32_a_major_case_33, r_0032_0014__1998, prd).
arc(z_000_32_a_major_case_41, r_0032_0007__Wiszniewski, arg0).
arc(z_000_32_a_major_case_41, r_0032_0016__PIQR_r_0032_0017__P324, prd).

fof(formula,axiom,
    ? [R_0032_0009__CENTRAL_R_0032_0010__MANCHESTER_R_0032_0011__HEALTH_R_0032_0012__AUTHORITY,R_0032_0007__WISZNIEWSKI,R_0032_0001__THE_R_0032_0005__PRINCIPLES,R_0032_0002__WELL,R_0032_0004__KNOWN,R_0032_0018__PLAINLY,R_0032_0020__SUCH,R_0032_0021__AN_R_0032_0022__INFERENCE,R_0032_0019__SUPPORT,R_0032_0014__1998,Z_000_32_A_MAJOR_CASE_33,R_0032_0016__PIQR_R_0032_0017__P324,Z_000_32_A_MAJOR_CASE_41] :
      ( r_0032_0002__well(R_0032_0002__WELL)
      & r_0032_0009__Central_r_0032_0010__Manchester_r_0032_0011__Health_r_0032_0012__Authority(R_0032_0009__CENTRAL_R_0032_0010__MANCHESTER_R_0032_0011__HEALTH_R_0032_0012__AUTHORITY)
      & r_0032_0014__1998(R_0032_0014__1998)
      & r_0032_0016__PIQR_r_0032_0017__P324(R_0032_0016__PIQR_R_0032_0017__P324)
      & r_0032_0018__plainly(R_0032_0018__PLAINLY)
      & r_0032_0020__such(R_0032_0020__SUCH)
      & z_000_32_a_major_case_41(Z_000_32_A_MAJOR_CASE_41)
      & has_prd(Z_000_32_A_MAJOR_CASE_41,R_0032_0016__PIQR_R_0032_0017__P324)
      & has_arg0(Z_000_32_A_MAJOR_CASE_41,R_0032_0007__WISZNIEWSKI)
      & r_0032_0007__Wiszniewski(R_0032_0007__WISZNIEWSKI)
      & has_r_0032_0008__v(R_0032_0007__WISZNIEWSKI,R_0032_0009__CENTRAL_R_0032_0010__MANCHESTER_R_0032_0011__HEALTH_R_0032_0012__AUTHORITY)
      & z_000_32_a_major_case_33(Z_000_32_A_MAJOR_CASE_33)
      & has_prd(Z_000_32_A_MAJOR_CASE_33,R_0032_0014__1998)
      & has_arg0(Z_000_32_A_MAJOR_CASE_33,R_0032_0007__WISZNIEWSKI)
      & r_0032_0019__support(R_0032_0019__SUPPORT)
      & has_arg1(R_0032_0019__SUPPORT,R_0032_0021__AN_R_0032_0022__INFERENCE)
      & r_0032_0021__an_r_0032_0022__inference(R_0032_0021__AN_R_0032_0022__INFERENCE)
      & has_attrib53(R_0032_0021__AN_R_0032_0022__INFERENCE,R_0032_0020__SUCH)
      & has_nim47(R_0032_0019__SUPPORT,R_0032_0018__PLAINLY)
      & has_arg0(R_0032_0019__SUPPORT,R_0032_0001__THE_R_0032_0005__PRINCIPLES)
      & r_0032_0001__The_r_0032_0005__principles(R_0032_0001__THE_R_0032_0005__PRINCIPLES)
      & has_r_0032_0006__in(R_0032_0001__THE_R_0032_0005__PRINCIPLES,R_0032_0007__WISZNIEWSKI)
      & r_0032_0004__known(R_0032_0004__KNOWN)
      & has_nim6(R_0032_0004__KNOWN,R_0032_0002__WELL)
      & has_arg0(R_0032_0004__KNOWN,R_0032_0001__THE_R_0032_0005__PRINCIPLES) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (IP-PPL (ADVP-NIM (ADV well;{well}))
                          (PUNC <hyphen>)
                          (VVN;__ known;{know}))
                  (NS principles;{principle})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Wiszniewski;{Wiszniewski})
                          (PP (P-ROLE v)
                              (NP (NPR Central;{Central})
                                  (NPR Manchester;{Manchester})
                                  (NPR Health;{Health})
                                  (NPR Authority;{Authority})))
                          (IP-PPL (PULB -LSB-)
                                  (NP-PRD (NPR 1998))
                                  (PURB -RSB-))
                          (IP-PPL (NP-PRD (NPR PIQR;{PIQR})
                                          (NPR P324;{P324}))))))
          (ADVP-NIM (ADV plainly;{plainly}))
          (VBP;__ support;{support})
          (NP-OB1 (ADJP (ADJ;_such_ such;{such}))
                  (D an;{an})
                  (N inference;{inference}))
          (PUNC .))
  (ID 32_a_major_case))