TSPC 79_a_lob

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.

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).

fof(formula,axiom,
    ? [R_0079_0003__MEASURED,R_0079_0006__THE_R_0079_0007__SAMPLE,R_0079_0002__A_R_0079_0004__PORTION,R_0079_0009__NIOBIUM,R_0079_0011__ZIRCONIUM,R_0079_0010__AND,R_0079_0012__CARRIERS,R_0079_0015__TOGETHER,R_0079_0017__HYDROFLUORIC,R_0079_0018__ACID,Z_000_79_A_LOB_J01_40,R_0079_0013__ARE_R_0079_0014__ADDED,R_0079_0021__COMPLETE,R_0079_0022__ISOTOPIC,R_0079_0023__INTERCHANGE,R_0079_0019__TO_R_0079_0020__ENSURE] :
      ( r_0079_0003__measured(R_0079_0003__MEASURED)
      & r_0079_0006__the_r_0079_0007__sample(R_0079_0006__THE_R_0079_0007__SAMPLE)
      & r_0079_0009__niobium(R_0079_0009__NIOBIUM)
      & r_0079_0011__zirconium(R_0079_0011__ZIRCONIUM)
      & r_0079_0015__together(R_0079_0015__TOGETHER)
      & r_0079_0017__hydrofluoric(R_0079_0017__HYDROFLUORIC)
      & r_0079_0021__complete(R_0079_0021__COMPLETE)
      & r_0079_0022__isotopic(R_0079_0022__ISOTOPIC)
      & z_000_79_a_lob_j01_40(Z_000_79_A_LOB_J01_40)
      & r_0079_0019__to_r_0079_0020__ensure(R_0079_0019__TO_R_0079_0020__ENSURE)
      & has_arg1(R_0079_0019__TO_R_0079_0020__ENSURE,R_0079_0023__INTERCHANGE)
      & r_0079_0023__interchange(R_0079_0023__INTERCHANGE)
      & has_attrib67(R_0079_0023__INTERCHANGE,R_0079_0022__ISOTOPIC)
      & has_attrib64(R_0079_0023__INTERCHANGE,R_0079_0021__COMPLETE)
      & has_arg0(R_0079_0019__TO_R_0079_0020__ENSURE,R_0079_0018__ACID)
      & r_0079_0018__acid(R_0079_0018__ACID)
      & has_attrib51(R_0079_0018__ACID,R_0079_0017__HYDROFLUORIC)
      & r_0079_0013__are_r_0079_0014__added(R_0079_0013__ARE_R_0079_0014__ADDED)
      & has_arg0(R_0079_0013__ARE_R_0079_0014__ADDED,Z_000_79_A_LOB_J01_40)
      & has_r_0079_0016__with_nim50(R_0079_0013__ARE_R_0079_0014__ADDED,R_0079_0018__ACID)
      & has_clr44(R_0079_0013__ARE_R_0079_0014__ADDED,R_0079_0015__TOGETHER)
      & has_arg1(R_0079_0013__ARE_R_0079_0014__ADDED,R_0079_0012__CARRIERS)
      & r_0079_0012__carriers(R_0079_0012__CARRIERS)
      & has_attrib24(R_0079_0012__CARRIERS,R_0079_0010__AND)
      & r_0079_0010__and(R_0079_0010__AND)
      & has_conj2(R_0079_0010__AND,R_0079_0011__ZIRCONIUM)
      & has_conj1(R_0079_0010__AND,R_0079_0009__NIOBIUM)
      & has_r_0079_0001__To_nim5(R_0079_0013__ARE_R_0079_0014__ADDED,R_0079_0002__A_R_0079_0004__PORTION)
      & r_0079_0002__a_r_0079_0004__portion(R_0079_0002__A_R_0079_0004__PORTION)
      & has_r_0079_0005__of(R_0079_0002__A_R_0079_0004__PORTION,R_0079_0006__THE_R_0079_0007__SAMPLE)
      & has_attrib8(R_0079_0002__A_R_0079_0004__PORTION,R_0079_0003__MEASURED) ) ).

( (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))