79_a_lob_j01
To a measured portion of the sample, niobium and zirconium carriers are added together with hydrofluoric acid to ensure complete isotopic interchange.

%3 r_0079_0002__a_r_0079_0004__portion a portion r_0079_0003__measured measured r_0079_0002__a_r_0079_0004__portion->r_0079_0003__measured [attrib] r_0079_0006__the_r_0079_0007__sample the sample r_0079_0002__a_r_0079_0004__portion->r_0079_0006__the_r_0079_0007__sample of r_0079_0010__and and r_0079_0009__niobium niobium r_0079_0010__and->r_0079_0009__niobium [conj1] r_0079_0011__zirconium zirconium r_0079_0010__and->r_0079_0011__zirconium [conj2] r_0079_0012__carriers carriers r_0079_0012__carriers->r_0079_0010__and [attrib] r_0079_0013__are are r_0079_0013__are->r_0079_0002__a_r_0079_0004__portion To [nim] r_0079_0014__added added r_0079_0013__are->r_0079_0014__added [scope] r_0079_0014__added->r_0079_0012__carriers [arg1] r_0079_0015__together together r_0079_0014__added->r_0079_0015__together [clr] r_0079_0018__acid acid r_0079_0014__added->r_0079_0018__acid with [nim] z_000_79_a_lob_j01_40 r_0079_0014__added->z_000_79_a_lob_j01_40 [arg0] r_0079_0017__hydrofluoric hydrofluoric r_0079_0018__acid->r_0079_0017__hydrofluoric [attrib] r_0079_0019__to_r_0079_0020__ensure to ensure r_0079_0019__to_r_0079_0020__ensure->r_0079_0018__acid [arg0] r_0079_0023__interchange interchange r_0079_0019__to_r_0079_0020__ensure->r_0079_0023__interchange [arg1] r_0079_0021__complete complete r_0079_0023__interchange->r_0079_0021__complete [attrib] r_0079_0022__isotopic isotopic r_0079_0023__interchange->r_0079_0022__isotopic [attrib]
arc(r_0079_0002__a_r_0079_0004__portion, r_0079_0003__measured, attrib8).
arc(r_0079_0002__a_r_0079_0004__portion, r_0079_0006__the_r_0079_0007__sample, r_0079_0005__of).
arc(r_0079_0010__and, r_0079_0009__niobium, conj1).
arc(r_0079_0010__and, r_0079_0011__zirconium, conj2).
arc(r_0079_0012__carriers, r_0079_0010__and, attrib24).
arc(r_0079_0013__are, r_0079_0002__a_r_0079_0004__portion, r_0079_0001__To_nim5).
arc(r_0079_0013__are, r_0079_0014__added, scope).
arc(r_0079_0014__added, r_0079_0012__carriers, arg1).
arc(r_0079_0014__added, r_0079_0015__together, clr44).
arc(r_0079_0014__added, r_0079_0018__acid, r_0079_0016__with_nim50).
arc(r_0079_0014__added, z_000_79_a_lob_j01_40, arg0).
arc(r_0079_0018__acid, r_0079_0017__hydrofluoric, attrib51).
arc(r_0079_0019__to_r_0079_0020__ensure, r_0079_0018__acid, arg0).
arc(r_0079_0019__to_r_0079_0020__ensure, r_0079_0023__interchange, arg1).
arc(r_0079_0023__interchange, r_0079_0021__complete, attrib64).
arc(r_0079_0023__interchange, r_0079_0022__isotopic, attrib67).



%3 r_0079_0023__interchange interchange r_0079_0022__isotopic isotopic r_0079_0023__interchange->r_0079_0022__isotopic [attrib] r_0079_0021__complete complete r_0079_0023__interchange->r_0079_0021__complete [attrib] r_0079_0019__to_r_0079_0020__ensure to ensure r_0079_0019__to_r_0079_0020__ensure->r_0079_0023__interchange [arg1] r_0079_0018__acid acid r_0079_0019__to_r_0079_0020__ensure->r_0079_0018__acid [arg0] r_0079_0017__hydrofluoric hydrofluoric r_0079_0018__acid->r_0079_0017__hydrofluoric [attrib] r_0079_0013__are_r_0079_0014__added are added r_0079_0013__are_r_0079_0014__added->r_0079_0018__acid with [nim] z_000_79_a_lob_j01_40 r_0079_0013__are_r_0079_0014__added->z_000_79_a_lob_j01_40 [arg0] r_0079_0015__together together r_0079_0013__are_r_0079_0014__added->r_0079_0015__together [clr] r_0079_0012__carriers carriers r_0079_0013__are_r_0079_0014__added->r_0079_0012__carriers [arg1] r_0079_0002__a_r_0079_0004__portion a portion r_0079_0013__are_r_0079_0014__added->r_0079_0002__a_r_0079_0004__portion To [nim] r_0079_0010__and and r_0079_0012__carriers->r_0079_0010__and [attrib] r_0079_0006__the_r_0079_0007__sample the sample r_0079_0002__a_r_0079_0004__portion->r_0079_0006__the_r_0079_0007__sample of r_0079_0003__measured measured r_0079_0002__a_r_0079_0004__portion->r_0079_0003__measured [attrib] r_0079_0011__zirconium zirconium r_0079_0010__and->r_0079_0011__zirconium [conj2] r_0079_0009__niobium niobium r_0079_0010__and->r_0079_0009__niobium [conj1]
fof(formula,axiom,
    ? [R_79_13_ARE_ADDED,Z_79_A_LOB_J01_40,R_79_12_CARRIERS,R_79_10_AND,R_79_9_NIOBIUM,R_79_11_ZIRCONIUM,R_79_15_TOGETHER,R_79_2_A_PORTION,R_79_3_MEASURED,R_79_6_THE_SAMPLE,R_79_19_TO_ENSURE,R_79_18_ACID,R_79_17_HYDROFLUORIC,R_79_23_INTERCHANGE,R_79_21_COMPLETE,R_79_22_ISOTOPIC] :
      ( niobium(R_79_9_NIOBIUM)
      & zirconium(R_79_11_ZIRCONIUM)
      & together(R_79_15_TOGETHER)
      & measured(R_79_3_MEASURED)
      & the_sample(R_79_6_THE_SAMPLE)
      & hydrofluoric(R_79_17_HYDROFLUORIC)
      & complete(R_79_21_COMPLETE)
      & isotopic(R_79_22_ISOTOPIC)
      & are_added(R_79_13_ARE_ADDED,Z_79_A_LOB_J01_40,R_79_12_CARRIERS)
      & carriers(R_79_12_CARRIERS)
      & attrib24(R_79_12_CARRIERS,R_79_10_AND)
      & and(R_79_10_AND)
      & conj1(R_79_10_AND,R_79_9_NIOBIUM)
      & conj2(R_79_10_AND,R_79_11_ZIRCONIUM)
      & clr44(R_79_13_ARE_ADDED,R_79_15_TOGETHER)
      & to_nim5(R_79_13_ARE_ADDED,R_79_2_A_PORTION)
      & a_portion(R_79_2_A_PORTION)
      & attrib8(R_79_2_A_PORTION,R_79_3_MEASURED)
      & of(R_79_2_A_PORTION,R_79_6_THE_SAMPLE)
      & with_nim50(R_79_13_ARE_ADDED,R_79_18_ACID)
      & acid(R_79_18_ACID)
      & attrib51(R_79_18_ACID,R_79_17_HYDROFLUORIC)
      & to_ensure(R_79_19_TO_ENSURE,R_79_18_ACID,R_79_23_INTERCHANGE)
      & interchange(R_79_23_INTERCHANGE)
      & attrib64(R_79_23_INTERCHANGE,R_79_21_COMPLETE)
      & attrib67(R_79_23_INTERCHANGE,R_79_22_ISOTOPIC) ) ).



n79_a_lob_j01 n79_a_lob_j01__1_1_1_1 To n79_a_lob_j01__1_1_2_1_1 a n79_a_lob_j01__1_1_2_2_1_1 measured n79_a_lob_j01__1_1_2_3_1 portion n79_a_lob_j01__1_1_2_4_1_1 of n79_a_lob_j01__1_1_2_4_2_1_1 the n79_a_lob_j01__1_1_2_4_2_2_1 sample n79_a_lob_j01__1_2_1 , n79_a_lob_j01__1_3_1_1_1_1_1 niobium n79_a_lob_j01__1_3_1_1_2_1_1 and n79_a_lob_j01__1_3_1_1_2_2_1_1 zirconium n79_a_lob_j01__1_3_2_1 carriers n79_a_lob_j01__1_4_1 are n79_a_lob_j01__1_5_1_1 * n79_a_lob_j01__1_5_2_1 added n79_a_lob_j01__1_5_3_1_1 together n79_a_lob_j01__1_5_4_1_1 with n79_a_lob_j01__1_5_4_2_1_1_1 hydrofluoric n79_a_lob_j01__1_5_4_2_2_1 acid n79_a_lob_j01__1_5_4_2_3_1_1 *T* n79_a_lob_j01__1_5_4_2_3_2_1 to n79_a_lob_j01__1_5_4_2_3_3_1 ensure n79_a_lob_j01__1_5_4_2_3_4_1_1_1 complete n79_a_lob_j01__1_5_4_2_3_4_2_1_1 isotopic n79_a_lob_j01__1_5_4_2_3_4_3_1 interchange n79_a_lob_j01__1_6_1 . n79_a_lob_j01__1 IP-MAT n79_a_lob_j01__1_1 PP-NIM n79_a_lob_j01__1->n79_a_lob_j01__1_1 n79_a_lob_j01__1_2 PUNC n79_a_lob_j01__1->n79_a_lob_j01__1_2 n79_a_lob_j01__1_3 NP-SBJ n79_a_lob_j01__1->n79_a_lob_j01__1_3 n79_a_lob_j01__1_4 BEP;_cat_VePASS_ n79_a_lob_j01__1->n79_a_lob_j01__1_4 n79_a_lob_j01__1_5 IP-PPL-CAT n79_a_lob_j01__1->n79_a_lob_j01__1_5 n79_a_lob_j01__1_6 PUNC n79_a_lob_j01__1->n79_a_lob_j01__1_6 n79_a_lob_j01__1_1_1 P-ROLE n79_a_lob_j01__1_1->n79_a_lob_j01__1_1_1 n79_a_lob_j01__1_1_2 NP n79_a_lob_j01__1_1->n79_a_lob_j01__1_1_2 n79_a_lob_j01__1_1_1->n79_a_lob_j01__1_1_1_1 n79_a_lob_j01__1_1_2_1 D n79_a_lob_j01__1_1_2->n79_a_lob_j01__1_1_2_1 n79_a_lob_j01__1_1_2_2 ADJP n79_a_lob_j01__1_1_2->n79_a_lob_j01__1_1_2_2 n79_a_lob_j01__1_1_2_3 N n79_a_lob_j01__1_1_2->n79_a_lob_j01__1_1_2_3 n79_a_lob_j01__1_1_2_4 PP n79_a_lob_j01__1_1_2->n79_a_lob_j01__1_1_2_4 n79_a_lob_j01__1_1_2_1->n79_a_lob_j01__1_1_2_1_1 n79_a_lob_j01__1_1_2_2_1 ADJ n79_a_lob_j01__1_1_2_2->n79_a_lob_j01__1_1_2_2_1 n79_a_lob_j01__1_1_2_2_1->n79_a_lob_j01__1_1_2_2_1_1 n79_a_lob_j01__1_1_2_3->n79_a_lob_j01__1_1_2_3_1 n79_a_lob_j01__1_1_2_4_1 P-ROLE n79_a_lob_j01__1_1_2_4->n79_a_lob_j01__1_1_2_4_1 n79_a_lob_j01__1_1_2_4_2 NP n79_a_lob_j01__1_1_2_4->n79_a_lob_j01__1_1_2_4_2 n79_a_lob_j01__1_1_2_4_1->n79_a_lob_j01__1_1_2_4_1_1 n79_a_lob_j01__1_1_2_4_2_1 D n79_a_lob_j01__1_1_2_4_2->n79_a_lob_j01__1_1_2_4_2_1 n79_a_lob_j01__1_1_2_4_2_2 N n79_a_lob_j01__1_1_2_4_2->n79_a_lob_j01__1_1_2_4_2_2 n79_a_lob_j01__1_1_2_4_2_1->n79_a_lob_j01__1_1_2_4_2_1_1 n79_a_lob_j01__1_1_2_4_2_2->n79_a_lob_j01__1_1_2_4_2_2_1 n79_a_lob_j01__1_2->n79_a_lob_j01__1_2_1 n79_a_lob_j01__1_3_1 ADJP n79_a_lob_j01__1_3->n79_a_lob_j01__1_3_1 n79_a_lob_j01__1_3_2 NS n79_a_lob_j01__1_3->n79_a_lob_j01__1_3_2 n79_a_lob_j01__1_3_1_1 AJLYR n79_a_lob_j01__1_3_1->n79_a_lob_j01__1_3_1_1 n79_a_lob_j01__1_3_1_1_1 AJLYR n79_a_lob_j01__1_3_1_1->n79_a_lob_j01__1_3_1_1_1 n79_a_lob_j01__1_3_1_1_2 CONJP n79_a_lob_j01__1_3_1_1->n79_a_lob_j01__1_3_1_1_2 n79_a_lob_j01__1_3_1_1_1_1 ADJ n79_a_lob_j01__1_3_1_1_1->n79_a_lob_j01__1_3_1_1_1_1 n79_a_lob_j01__1_3_1_1_1_1->n79_a_lob_j01__1_3_1_1_1_1_1 n79_a_lob_j01__1_3_1_1_2_1 CONJ n79_a_lob_j01__1_3_1_1_2->n79_a_lob_j01__1_3_1_1_2_1 n79_a_lob_j01__1_3_1_1_2_2 AJLYR n79_a_lob_j01__1_3_1_1_2->n79_a_lob_j01__1_3_1_1_2_2 n79_a_lob_j01__1_3_1_1_2_1->n79_a_lob_j01__1_3_1_1_2_1_1 n79_a_lob_j01__1_3_1_1_2_2_1 ADJ n79_a_lob_j01__1_3_1_1_2_2->n79_a_lob_j01__1_3_1_1_2_2_1 n79_a_lob_j01__1_3_1_1_2_2_1->n79_a_lob_j01__1_3_1_1_2_2_1_1 n79_a_lob_j01__1_3_2->n79_a_lob_j01__1_3_2_1 n79_a_lob_j01__1_4->n79_a_lob_j01__1_4_1 n79_a_lob_j01__1_5_1 NP-LGS n79_a_lob_j01__1_5->n79_a_lob_j01__1_5_1 n79_a_lob_j01__1_5_2 VVN;_Tn.p_ n79_a_lob_j01__1_5->n79_a_lob_j01__1_5_2 n79_a_lob_j01__1_5_3 ADVP-CLR n79_a_lob_j01__1_5->n79_a_lob_j01__1_5_3 n79_a_lob_j01__1_5_4 PP-NIM n79_a_lob_j01__1_5->n79_a_lob_j01__1_5_4 n79_a_lob_j01__1_5_1->n79_a_lob_j01__1_5_1_1 n79_a_lob_j01__1_5_2->n79_a_lob_j01__1_5_2_1 n79_a_lob_j01__1_5_3_1 ADV n79_a_lob_j01__1_5_3->n79_a_lob_j01__1_5_3_1 n79_a_lob_j01__1_5_3_1->n79_a_lob_j01__1_5_3_1_1 n79_a_lob_j01__1_5_4_1 P-ROLE n79_a_lob_j01__1_5_4->n79_a_lob_j01__1_5_4_1 n79_a_lob_j01__1_5_4_2 NP n79_a_lob_j01__1_5_4->n79_a_lob_j01__1_5_4_2 n79_a_lob_j01__1_5_4_1->n79_a_lob_j01__1_5_4_1_1 n79_a_lob_j01__1_5_4_2_1 ADJP n79_a_lob_j01__1_5_4_2->n79_a_lob_j01__1_5_4_2_1 n79_a_lob_j01__1_5_4_2_2 N n79_a_lob_j01__1_5_4_2->n79_a_lob_j01__1_5_4_2_2 n79_a_lob_j01__1_5_4_2_3 IP-INF-REL n79_a_lob_j01__1_5_4_2->n79_a_lob_j01__1_5_4_2_3 n79_a_lob_j01__1_5_4_2_1_1 ADJ n79_a_lob_j01__1_5_4_2_1->n79_a_lob_j01__1_5_4_2_1_1 n79_a_lob_j01__1_5_4_2_1_1->n79_a_lob_j01__1_5_4_2_1_1_1 n79_a_lob_j01__1_5_4_2_2->n79_a_lob_j01__1_5_4_2_2_1 n79_a_lob_j01__1_5_4_2_3_1 NP-SBJ n79_a_lob_j01__1_5_4_2_3->n79_a_lob_j01__1_5_4_2_3_1 n79_a_lob_j01__1_5_4_2_3_2 TO n79_a_lob_j01__1_5_4_2_3->n79_a_lob_j01__1_5_4_2_3_2 n79_a_lob_j01__1_5_4_2_3_3 VB;_Tn_ n79_a_lob_j01__1_5_4_2_3->n79_a_lob_j01__1_5_4_2_3_3 n79_a_lob_j01__1_5_4_2_3_4 NP-OB1 n79_a_lob_j01__1_5_4_2_3->n79_a_lob_j01__1_5_4_2_3_4 n79_a_lob_j01__1_5_4_2_3_1->n79_a_lob_j01__1_5_4_2_3_1_1 n79_a_lob_j01__1_5_4_2_3_2->n79_a_lob_j01__1_5_4_2_3_2_1 n79_a_lob_j01__1_5_4_2_3_3->n79_a_lob_j01__1_5_4_2_3_3_1 n79_a_lob_j01__1_5_4_2_3_4_1 ADJP n79_a_lob_j01__1_5_4_2_3_4->n79_a_lob_j01__1_5_4_2_3_4_1 n79_a_lob_j01__1_5_4_2_3_4_2 ADJP n79_a_lob_j01__1_5_4_2_3_4->n79_a_lob_j01__1_5_4_2_3_4_2 n79_a_lob_j01__1_5_4_2_3_4_3 N n79_a_lob_j01__1_5_4_2_3_4->n79_a_lob_j01__1_5_4_2_3_4_3 n79_a_lob_j01__1_5_4_2_3_4_1_1 ADJ n79_a_lob_j01__1_5_4_2_3_4_1->n79_a_lob_j01__1_5_4_2_3_4_1_1 n79_a_lob_j01__1_5_4_2_3_4_1_1->n79_a_lob_j01__1_5_4_2_3_4_1_1_1 n79_a_lob_j01__1_5_4_2_3_4_2_1 ADJ n79_a_lob_j01__1_5_4_2_3_4_2->n79_a_lob_j01__1_5_4_2_3_4_2_1 n79_a_lob_j01__1_5_4_2_3_4_2_1->n79_a_lob_j01__1_5_4_2_3_4_2_1_1 n79_a_lob_j01__1_5_4_2_3_4_3->n79_a_lob_j01__1_5_4_2_3_4_3_1 n79_a_lob_j01__1_6->n79_a_lob_j01__1_6_1
( (IP-MAT (PP-NIM (P-ROLE To;{to})
                  (NP (D a;{a})
                      (ADJP (ADJ measured;{measured}))
                      (N portion;{portion})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N sample;{sample})))))
          (PUNC ,)
          (NP-SBJ (ADJP (AJLYR (AJLYR (ADJ niobium;{niobium}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ zirconium;{zirconium})))))
                  (NS carriers;{carrier}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.p_ added;{add[together]})
                      (ADVP-CLR (ADV together;{together}))
                      (PP-NIM (P-ROLE with;{with})
                              (NP (ADJP (ADJ hydrofluoric;{hydrofluoric}))
                                  (N acid;{acid})
                                  (IP-INF-REL (NP-SBJ *T*)
                                              (TO to;{to})
                                              (VB;_Tn_ ensure;{ensure})
                                              (NP-OB1 (ADJP (ADJ complete;{complete}))
                                                      (ADJP (ADJ isotopic;{isotopic}))
                                                      (N interchange;{interchange}))))))
          (PUNC .))
  (ID 79_a_lob_j01))