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_80_4_ARE_CO_HYPHEN_PRECIPITATED,Z_80_A_LOB_J01_13,R_80_2_EARTH_ELEMENTS,R_80_1_RARE,R_80_9_FLUORIDES,R_80_7_LANTHANUM] :
      ( rare(R_80_1_RARE)
      & fluorides(R_80_9_FLUORIDES)
      & lanthanum(R_80_7_LANTHANUM)
      & are_co_hyphen_precipitated(R_80_4_ARE_CO_HYPHEN_PRECIPITATED,Z_80_A_LOB_J01_13,R_80_2_EARTH_ELEMENTS,R_80_9_FLUORIDES)
      & earth_elements(R_80_2_EARTH_ELEMENTS)
      & attrib3(R_80_2_EARTH_ELEMENTS,R_80_1_RARE)
      & with_nim20(R_80_4_ARE_CO_HYPHEN_PRECIPITATED,R_80_7_LANTHANUM) ) ).


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