TSPC 28_a_beeton

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

( (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 28_a_beeton_1861;2166-3))

arc(r_0028_0001__Whichever,r_0028_0003__these_r_0028_0004__articles,r_0028_0002__of).
arc(r_0028_0005__is,r_0028_0006__used,scope).
arc(r_0028_0006__used,r_0028_0001__Whichever,arg1).
arc(r_0028_0006__used,z_0028_5003,arg1).
arc(r_0028_0006__used,z_0028_5005___star_,arg0).
arc(r_0028_0010__is,r_0028_0001__Whichever,nim).
arc(r_0028_0010__is,r_0028_0008__the_r_0028_0009__process,arg0).
arc(r_0028_0010__is,r_0028_0011__always,nim).
arc(r_0028_0010__is,r_0028_0012__the,prd).
arc(r_0028_0010__is,z_0028_5003,nim).
arc(r_0028_0012__the,r_0028_0013__same,attrib).
arc(z_0028_5003,r_0028_0003__these_r_0028_0004__articles,r_0028_0002__of).

fof(formula,axiom,
    ? [R_0028_0003__THESE_R_0028_0004__ARTICLES,R_0028_0001__WHICHEVER,Z_0028_5003,Z_0028_5005___STAR_,R_0028_0005__IS_R_0028_0006__USED,R_0028_0008__THE_R_0028_0009__PROCESS,R_0028_0011__ALWAYS,R_0028_0013__SAME,R_0028_0012__THE,R_0028_0010__IS] :
      ( r_0028_0003__these_r_0028_0004__articles(R_0028_0003__THESE_R_0028_0004__ARTICLES)
      & r_0028_0008__the_r_0028_0009__process(R_0028_0008__THE_R_0028_0009__PROCESS)
      & r_0028_0011__always(R_0028_0011__ALWAYS)
      & r_0028_0013__same(R_0028_0013__SAME)
      & z_0028_5005___star_(Z_0028_5005___STAR_)
      & r_0028_0010__is(R_0028_0010__IS)
      & has_nim(R_0028_0010__IS,Z_0028_5003)
      & z_0028_5003(Z_0028_5003)
      & has_r_0028_0002__of(Z_0028_5003,R_0028_0003__THESE_R_0028_0004__ARTICLES)
      & has_prd(R_0028_0010__IS,R_0028_0012__THE)
      & r_0028_0012__the(R_0028_0012__THE)
      & has_attrib(R_0028_0012__THE,R_0028_0013__SAME)
      & has_nim(R_0028_0010__IS,R_0028_0011__ALWAYS)
      & has_arg0(R_0028_0010__IS,R_0028_0008__THE_R_0028_0009__PROCESS)
      & has_nim(R_0028_0010__IS,R_0028_0001__WHICHEVER)
      & r_0028_0001__Whichever(R_0028_0001__WHICHEVER)
      & has_r_0028_0002__of(R_0028_0001__WHICHEVER,R_0028_0003__THESE_R_0028_0004__ARTICLES)
      & r_0028_0005__is_r_0028_0006__used(R_0028_0005__IS_R_0028_0006__USED)
      & has_arg0(R_0028_0005__IS_R_0028_0006__USED,Z_0028_5005___STAR_)
      & has_arg1(R_0028_0005__IS_R_0028_0006__USED,Z_0028_5003)
      & has_arg1(R_0028_0005__IS_R_0028_0006__USED,R_0028_0001__WHICHEVER) ) ).