Context                Previous, Next                Top


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

%3 r_0031_0001__Whichever Whichever r_0031_0003__these_r_0031_0004__articles these articles r_0031_0001__Whichever->r_0031_0003__these_r_0031_0004__articles of r_0031_0005__is is r_0031_0006__used used r_0031_0005__is->r_0031_0006__used [scope] r_0031_0006__used->r_0031_0001__Whichever [arg1] z_000_31_a_beeton_1861_18 r_0031_0006__used->z_000_31_a_beeton_1861_18 [arg0] r_0031_0010__is is r_0031_0008__the_r_0031_0009__process the process r_0031_0010__is->r_0031_0008__the_r_0031_0009__process [arg0] r_0031_0011__always always r_0031_0010__is->r_0031_0011__always [nim] r_0031_0012__the the r_0031_0010__is->r_0031_0012__the [prd] z_000_31_a_beeton_1861_2 r_0031_0010__is->z_000_31_a_beeton_1861_2 [nim] r_0031_0013__same same r_0031_0012__the->r_0031_0013__same [attrib] 
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).


%3 r_0031_0012__the the r_0031_0013__same same r_0031_0012__the->r_0031_0013__same [attrib] r_0031_0010__is is r_0031_0010__is->r_0031_0012__the [prd] z_000_31_a_beeton_1861_2 r_0031_0010__is->z_000_31_a_beeton_1861_2 [nim] r_0031_0011__always always r_0031_0010__is->r_0031_0011__always [nim] r_0031_0008__the_r_0031_0009__process the process r_0031_0010__is->r_0031_0008__the_r_0031_0009__process [arg0] r_0031_0005__is_r_0031_0006__used is used z_000_31_a_beeton_1861_18 r_0031_0005__is_r_0031_0006__used->z_000_31_a_beeton_1861_18 [arg0] r_0031_0001__Whichever Whichever r_0031_0005__is_r_0031_0006__used->r_0031_0001__Whichever [arg1] r_0031_0003__these_r_0031_0004__articles these articles r_0031_0001__Whichever->r_0031_0003__these_r_0031_0004__articles of 
fof(formula,axiom,
    ? [R_31_5_IS_USED,Z_31_A_BEETON_1861_18,R_31_1_WHICHEVER,R_31_3_THESE_ARTICLES,R_31_10_IS,R_31_8_THE_PROCESS,Z_31_A_BEETON_1861_2,R_31_11_ALWAYS,R_31_12_THE,R_31_13_SAME] :
      ( these_articles(R_31_3_THESE_ARTICLES)
      & the_process(R_31_8_THE_PROCESS)
      & always(R_31_11_ALWAYS)
      & same(R_31_13_SAME)
      & is_used(R_31_5_IS_USED,Z_31_A_BEETON_1861_18,R_31_1_WHICHEVER)
      & whichever(R_31_1_WHICHEVER)
      & of(R_31_1_WHICHEVER,R_31_3_THESE_ARTICLES)
      & is(R_31_10_IS,R_31_8_THE_PROCESS,R_31_12_THE)
      & the(R_31_12_THE)
      & attrib37(R_31_12_THE,R_31_13_SAME)
      & nim2(R_31_10_IS,Z_31_A_BEETON_1861_2)
      & nim31(R_31_10_IS,R_31_11_ALWAYS) ) ).


n31_a_beeton_1861 n31_a_beeton_1861__1_1_1_1_1_1 Whichever n31_a_beeton_1861__1_1_1_1_2_1_1 of n31_a_beeton_1861__1_1_1_1_2_2_1_1 these n31_a_beeton_1861__1_1_1_1_2_2_2_1 articles n31_a_beeton_1861__1_1_1_2_1 is n31_a_beeton_1861__1_1_1_3_1_1 * n31_a_beeton_1861__1_1_1_3_2_1 used n31_a_beeton_1861__1_2_1 , n31_a_beeton_1861__1_3_1_1 the n31_a_beeton_1861__1_3_2_1 process n31_a_beeton_1861__1_4_1 is n31_a_beeton_1861__1_5_1_1 always n31_a_beeton_1861__1_6_1_1 the n31_a_beeton_1861__1_6_2_1_1 same n31_a_beeton_1861__1_7_1 . n31_a_beeton_1861__1 IP-MAT n31_a_beeton_1861__1_1 NP-TPC-NIM n31_a_beeton_1861__1->n31_a_beeton_1861__1_1 n31_a_beeton_1861__1_2 PUNC n31_a_beeton_1861__1->n31_a_beeton_1861__1_2 n31_a_beeton_1861__1_3 NP-SBJ n31_a_beeton_1861__1->n31_a_beeton_1861__1_3 n31_a_beeton_1861__1_4 BEP;_Ln_ n31_a_beeton_1861__1->n31_a_beeton_1861__1_4 n31_a_beeton_1861__1_5 ADVP-NIM n31_a_beeton_1861__1->n31_a_beeton_1861__1_5 n31_a_beeton_1861__1_6 NP-PRD n31_a_beeton_1861__1->n31_a_beeton_1861__1_6 n31_a_beeton_1861__1_7 PUNC n31_a_beeton_1861__1->n31_a_beeton_1861__1_7 n31_a_beeton_1861__1_1_1 IP-REL n31_a_beeton_1861__1_1->n31_a_beeton_1861__1_1_1 n31_a_beeton_1861__1_1_1_1 NP-SBJ n31_a_beeton_1861__1_1_1->n31_a_beeton_1861__1_1_1_1 n31_a_beeton_1861__1_1_1_2 BEP;_cat_VePASS_ n31_a_beeton_1861__1_1_1->n31_a_beeton_1861__1_1_1_2 n31_a_beeton_1861__1_1_1_3 IP-PPL-CAT n31_a_beeton_1861__1_1_1->n31_a_beeton_1861__1_1_1_3 n31_a_beeton_1861__1_1_1_1_1 RPRO n31_a_beeton_1861__1_1_1_1->n31_a_beeton_1861__1_1_1_1_1 n31_a_beeton_1861__1_1_1_1_2 PP n31_a_beeton_1861__1_1_1_1->n31_a_beeton_1861__1_1_1_1_2 n31_a_beeton_1861__1_1_1_1_1->n31_a_beeton_1861__1_1_1_1_1_1 n31_a_beeton_1861__1_1_1_1_2_1 P-ROLE n31_a_beeton_1861__1_1_1_1_2->n31_a_beeton_1861__1_1_1_1_2_1 n31_a_beeton_1861__1_1_1_1_2_2 NP n31_a_beeton_1861__1_1_1_1_2->n31_a_beeton_1861__1_1_1_1_2_2 n31_a_beeton_1861__1_1_1_1_2_1->n31_a_beeton_1861__1_1_1_1_2_1_1 n31_a_beeton_1861__1_1_1_1_2_2_1 D n31_a_beeton_1861__1_1_1_1_2_2->n31_a_beeton_1861__1_1_1_1_2_2_1 n31_a_beeton_1861__1_1_1_1_2_2_2 NS n31_a_beeton_1861__1_1_1_1_2_2->n31_a_beeton_1861__1_1_1_1_2_2_2 n31_a_beeton_1861__1_1_1_1_2_2_1->n31_a_beeton_1861__1_1_1_1_2_2_1_1 n31_a_beeton_1861__1_1_1_1_2_2_2->n31_a_beeton_1861__1_1_1_1_2_2_2_1 n31_a_beeton_1861__1_1_1_2->n31_a_beeton_1861__1_1_1_2_1 n31_a_beeton_1861__1_1_1_3_1 NP-LGS n31_a_beeton_1861__1_1_1_3->n31_a_beeton_1861__1_1_1_3_1 n31_a_beeton_1861__1_1_1_3_2 VVN;__ n31_a_beeton_1861__1_1_1_3->n31_a_beeton_1861__1_1_1_3_2 n31_a_beeton_1861__1_1_1_3_1->n31_a_beeton_1861__1_1_1_3_1_1 n31_a_beeton_1861__1_1_1_3_2->n31_a_beeton_1861__1_1_1_3_2_1 n31_a_beeton_1861__1_2->n31_a_beeton_1861__1_2_1 n31_a_beeton_1861__1_3_1 D n31_a_beeton_1861__1_3->n31_a_beeton_1861__1_3_1 n31_a_beeton_1861__1_3_2 N n31_a_beeton_1861__1_3->n31_a_beeton_1861__1_3_2 n31_a_beeton_1861__1_3_1->n31_a_beeton_1861__1_3_1_1 n31_a_beeton_1861__1_3_2->n31_a_beeton_1861__1_3_2_1 n31_a_beeton_1861__1_4->n31_a_beeton_1861__1_4_1 n31_a_beeton_1861__1_5_1 ADV n31_a_beeton_1861__1_5->n31_a_beeton_1861__1_5_1 n31_a_beeton_1861__1_5_1->n31_a_beeton_1861__1_5_1_1 n31_a_beeton_1861__1_6_1 D n31_a_beeton_1861__1_6->n31_a_beeton_1861__1_6_1 n31_a_beeton_1861__1_6_2 ADJP n31_a_beeton_1861__1_6->n31_a_beeton_1861__1_6_2 n31_a_beeton_1861__1_6_1->n31_a_beeton_1861__1_6_1_1 n31_a_beeton_1861__1_6_2_1 ADJ n31_a_beeton_1861__1_6_2->n31_a_beeton_1861__1_6_2_1 n31_a_beeton_1861__1_6_2_1->n31_a_beeton_1861__1_6_2_1_1 n31_a_beeton_1861__1_7->n31_a_beeton_1861__1_7_1 
( (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))