TSPC 31_a_beeton

31_a_beeton_1861
Whichever of these articles is used, the process is always the same.

arc(r_0031_0001__Whichever, r_0031_0003__these_r_0031_0004__articles, r_0031_0002__of).
arc(r_0031_0005__is, r_0031_0006__used, scope).
arc(r_0031_0006__used, r_0031_0001__Whichever, arg1).
arc(r_0031_0006__used, z_000_31_a_beeton_1861_18, arg0).
arc(r_0031_0010__is, r_0031_0008__the_r_0031_0009__process, arg0).
arc(r_0031_0010__is, r_0031_0011__always, nim31).
arc(r_0031_0010__is, r_0031_0012__the, prd).
arc(r_0031_0010__is, z_000_31_a_beeton_1861_2, nim2).
arc(r_0031_0012__the, r_0031_0013__same, attrib37).

fof(formula,axiom,
    ? [R_0031_0003__THESE_R_0031_0004__ARTICLES,R_0031_0001__WHICHEVER,Z_000_31_A_BEETON_1861_18,R_0031_0005__IS_R_0031_0006__USED,R_0031_0008__THE_R_0031_0009__PROCESS,R_0031_0011__ALWAYS,R_0031_0013__SAME,R_0031_0012__THE,Z_000_31_A_BEETON_1861_2,R_0031_0010__IS] :
      ( r_0031_0003__these_r_0031_0004__articles(R_0031_0003__THESE_R_0031_0004__ARTICLES)
      & r_0031_0008__the_r_0031_0009__process(R_0031_0008__THE_R_0031_0009__PROCESS)
      & r_0031_0011__always(R_0031_0011__ALWAYS)
      & r_0031_0013__same(R_0031_0013__SAME)
      & z_000_31_a_beeton_1861_18(Z_000_31_A_BEETON_1861_18)
      & z_000_31_a_beeton_1861_2(Z_000_31_A_BEETON_1861_2)
      & r_0031_0010__is(R_0031_0010__IS)
      & has_nim2(R_0031_0010__IS,Z_000_31_A_BEETON_1861_2)
      & has_prd(R_0031_0010__IS,R_0031_0012__THE)
      & r_0031_0012__the(R_0031_0012__THE)
      & has_attrib37(R_0031_0012__THE,R_0031_0013__SAME)
      & has_nim31(R_0031_0010__IS,R_0031_0011__ALWAYS)
      & has_arg0(R_0031_0010__IS,R_0031_0008__THE_R_0031_0009__PROCESS)
      & r_0031_0005__is_r_0031_0006__used(R_0031_0005__IS_R_0031_0006__USED)
      & has_arg0(R_0031_0005__IS_R_0031_0006__USED,Z_000_31_A_BEETON_1861_18)
      & has_arg1(R_0031_0005__IS_R_0031_0006__USED,R_0031_0001__WHICHEVER)
      & r_0031_0001__Whichever(R_0031_0001__WHICHEVER)
      & has_r_0031_0002__of(R_0031_0001__WHICHEVER,R_0031_0003__THESE_R_0031_0004__ARTICLES) ) ).

( (IP-MAT (NP-TPC-NIM (IP-REL (NP-SBJ (RPRO Whichever;{whichever})
                                      (PP (P-ROLE of;{of})
                                          (NP (D these;{these})
                                              (NS articles;{article}))))
                              (BEP;_cat_VePASS_ is;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;__ used;{use}))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N process;{process}))
          (BEP;_Ln_ is;{be})
          (ADVP-NIM (ADV always;{always}))
          (NP-PRD (D the;{the})
                  (ADJP (ADJ same;{same})))
          (PUNC .))
  (ID 31_a_beeton_1861;2166-3))