Context                Previous, Next                Top


80_a_lob_j01
Rare earth elements are co-precipitated with lanthanum as fluorides.

%3 r_0080_0002__earth_r_0080_0003__elements earth elements r_0080_0001__Rare Rare r_0080_0002__earth_r_0080_0003__elements->r_0080_0001__Rare [attrib] r_0080_0004__are are r_0080_0005__co__hyphen__precipitated co-precipitated r_0080_0004__are->r_0080_0005__co__hyphen__precipitated [scope] r_0080_0005__co__hyphen__precipitated->r_0080_0002__earth_r_0080_0003__elements [arg1] r_0080_0007__lanthanum lanthanum r_0080_0005__co__hyphen__precipitated->r_0080_0007__lanthanum with [nim] r_0080_0009__fluorides fluorides r_0080_0005__co__hyphen__precipitated->r_0080_0009__fluorides [prd] z_000_80_a_lob_j01_13 r_0080_0005__co__hyphen__precipitated->z_000_80_a_lob_j01_13 [arg0] 
arc(r_0080_0002__earth_r_0080_0003__elements, r_0080_0001__Rare, attrib3).
arc(r_0080_0004__are, r_0080_0005__co__hyphen__precipitated, scope).
arc(r_0080_0005__co__hyphen__precipitated, r_0080_0002__earth_r_0080_0003__elements, arg1).
arc(r_0080_0005__co__hyphen__precipitated, r_0080_0007__lanthanum, r_0080_0006__with_nim20).
arc(r_0080_0005__co__hyphen__precipitated, r_0080_0009__fluorides, prd).
arc(r_0080_0005__co__hyphen__precipitated, z_000_80_a_lob_j01_13, arg0).


%3 r_0080_0004__are_r_0080_0005__co__hyphen__precipitated are co-precipitated z_000_80_a_lob_j01_13 r_0080_0004__are_r_0080_0005__co__hyphen__precipitated->z_000_80_a_lob_j01_13 [arg0] r_0080_0009__fluorides fluorides r_0080_0004__are_r_0080_0005__co__hyphen__precipitated->r_0080_0009__fluorides [prd] r_0080_0007__lanthanum lanthanum r_0080_0004__are_r_0080_0005__co__hyphen__precipitated->r_0080_0007__lanthanum with [nim] r_0080_0002__earth_r_0080_0003__elements earth elements r_0080_0004__are_r_0080_0005__co__hyphen__precipitated->r_0080_0002__earth_r_0080_0003__elements [arg1] r_0080_0001__Rare Rare r_0080_0002__earth_r_0080_0003__elements->r_0080_0001__Rare [attrib] 
fof(formula,axiom,
    ? [R_0080_0001__RARE,R_0080_0002__EARTH_R_0080_0003__ELEMENTS,R_0080_0007__LANTHANUM,R_0080_0009__FLUORIDES,Z_000_80_A_LOB_J01_13,R_0080_0004__ARE_R_0080_0005__CO__HYPHEN__PRECIPITATED] :
      ( r_0080_0001__Rare(R_0080_0001__RARE)
      & r_0080_0007__lanthanum(R_0080_0007__LANTHANUM)
      & r_0080_0009__fluorides(R_0080_0009__FLUORIDES)
      & z_000_80_a_lob_j01_13(Z_000_80_A_LOB_J01_13)
      & r_0080_0004__are_r_0080_0005__co__hyphen__precipitated(R_0080_0004__ARE_R_0080_0005__CO__HYPHEN__PRECIPITATED)
      & has_arg0(R_0080_0004__ARE_R_0080_0005__CO__HYPHEN__PRECIPITATED,Z_000_80_A_LOB_J01_13)
      & has_prd(R_0080_0004__ARE_R_0080_0005__CO__HYPHEN__PRECIPITATED,R_0080_0009__FLUORIDES)
      & has_r_0080_0006__with_nim20(R_0080_0004__ARE_R_0080_0005__CO__HYPHEN__PRECIPITATED,R_0080_0007__LANTHANUM)
      & has_arg1(R_0080_0004__ARE_R_0080_0005__CO__HYPHEN__PRECIPITATED,R_0080_0002__EARTH_R_0080_0003__ELEMENTS)
      & r_0080_0002__earth_r_0080_0003__elements(R_0080_0002__EARTH_R_0080_0003__ELEMENTS)
      & has_attrib3(R_0080_0002__EARTH_R_0080_0003__ELEMENTS,R_0080_0001__RARE) ) ).


n80_a_lob_j01 n80_a_lob_j01__1_1_1_1_1 Rare n80_a_lob_j01__1_1_2_1 earth n80_a_lob_j01__1_1_3_1 elements n80_a_lob_j01__1_2_1 are n80_a_lob_j01__1_3_1_1 * n80_a_lob_j01__1_3_2_1 co-precipitated n80_a_lob_j01__1_3_3_1_1 with n80_a_lob_j01__1_3_3_2_1_1 lanthanum n80_a_lob_j01__1_3_4_1_1 as n80_a_lob_j01__1_3_4_2_1_1 fluorides n80_a_lob_j01__1_4_1 . n80_a_lob_j01__1 IP-MAT n80_a_lob_j01__1_1 NP-SBJ n80_a_lob_j01__1->n80_a_lob_j01__1_1 n80_a_lob_j01__1_2 BEP;_cat_VePASS_ n80_a_lob_j01__1->n80_a_lob_j01__1_2 n80_a_lob_j01__1_3 IP-PPL-CAT n80_a_lob_j01__1->n80_a_lob_j01__1_3 n80_a_lob_j01__1_4 PUNC n80_a_lob_j01__1->n80_a_lob_j01__1_4 n80_a_lob_j01__1_1_1 ADJP n80_a_lob_j01__1_1->n80_a_lob_j01__1_1_1 n80_a_lob_j01__1_1_2 N n80_a_lob_j01__1_1->n80_a_lob_j01__1_1_2 n80_a_lob_j01__1_1_3 NS n80_a_lob_j01__1_1->n80_a_lob_j01__1_1_3 n80_a_lob_j01__1_1_1_1 ADJ n80_a_lob_j01__1_1_1->n80_a_lob_j01__1_1_1_1 n80_a_lob_j01__1_1_1_1->n80_a_lob_j01__1_1_1_1_1 n80_a_lob_j01__1_1_2->n80_a_lob_j01__1_1_2_1 n80_a_lob_j01__1_1_3->n80_a_lob_j01__1_1_3_1 n80_a_lob_j01__1_2->n80_a_lob_j01__1_2_1 n80_a_lob_j01__1_3_1 NP-LGS n80_a_lob_j01__1_3->n80_a_lob_j01__1_3_1 n80_a_lob_j01__1_3_2 VVN;_Tn.pr_ n80_a_lob_j01__1_3->n80_a_lob_j01__1_3_2 n80_a_lob_j01__1_3_3 PP-NIM n80_a_lob_j01__1_3->n80_a_lob_j01__1_3_3 n80_a_lob_j01__1_3_4 PP-PRD n80_a_lob_j01__1_3->n80_a_lob_j01__1_3_4 n80_a_lob_j01__1_3_1->n80_a_lob_j01__1_3_1_1 n80_a_lob_j01__1_3_2->n80_a_lob_j01__1_3_2_1 n80_a_lob_j01__1_3_3_1 P-ROLE n80_a_lob_j01__1_3_3->n80_a_lob_j01__1_3_3_1 n80_a_lob_j01__1_3_3_2 NP n80_a_lob_j01__1_3_3->n80_a_lob_j01__1_3_3_2 n80_a_lob_j01__1_3_3_1->n80_a_lob_j01__1_3_3_1_1 n80_a_lob_j01__1_3_3_2_1 N n80_a_lob_j01__1_3_3_2->n80_a_lob_j01__1_3_3_2_1 n80_a_lob_j01__1_3_3_2_1->n80_a_lob_j01__1_3_3_2_1_1 n80_a_lob_j01__1_3_4_1 P-ROLE n80_a_lob_j01__1_3_4->n80_a_lob_j01__1_3_4_1 n80_a_lob_j01__1_3_4_2 NP n80_a_lob_j01__1_3_4->n80_a_lob_j01__1_3_4_2 n80_a_lob_j01__1_3_4_1->n80_a_lob_j01__1_3_4_1_1 n80_a_lob_j01__1_3_4_2_1 NS n80_a_lob_j01__1_3_4_2->n80_a_lob_j01__1_3_4_2_1 n80_a_lob_j01__1_3_4_2_1->n80_a_lob_j01__1_3_4_2_1_1 n80_a_lob_j01__1_4->n80_a_lob_j01__1_4_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Rare;{rare}))
                  (N earth;{earth})
                  (NS elements;{element}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ co_<hyphen>_precipitated;{co_precipitate})
                      (PP-NIM (P-ROLE with;{with})
                              (NP (N lanthanum;{lanthanum})))
                      (PP-PRD (P-ROLE as;{as})
                              (NP (NS fluorides;{fluoride}))))
          (PUNC .))
  (ID 80_a_lob_j01))