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_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_r_0080_0005__co__hyphen__precipitated are co-precipitated r_0080_0004__are_r_0080_0005__co__hyphen__precipitated->r_0080_0002__earth_r_0080_0003__elements [arg1] r_0080_0007__lanthanum lanthanum r_0080_0004__are_r_0080_0005__co__hyphen__precipitated->r_0080_0007__lanthanum with [nim] r_0080_0009__fluorides fluorides r_0080_0004__are_r_0080_0005__co__hyphen__precipitated->r_0080_0009__fluorides [prd] 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]
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_5 Rare n80_a_lob_j01_7 earth n80_a_lob_j01_9 elements n80_a_lob_j01_11 are n80_a_lob_j01_14 * n80_a_lob_j01_16 co-precipitated n80_a_lob_j01_19 with n80_a_lob_j01_22 lanthanum n80_a_lob_j01_25 as n80_a_lob_j01_28 fluorides n80_a_lob_j01_30 . n80_a_lob_j01_1 IP-MAT n80_a_lob_j01_2 NP-SBJ n80_a_lob_j01_1->n80_a_lob_j01_2 n80_a_lob_j01_10 BEP;_cat_VePASS_ n80_a_lob_j01_1->n80_a_lob_j01_10 n80_a_lob_j01_12 IP-PPL-CAT n80_a_lob_j01_1->n80_a_lob_j01_12 n80_a_lob_j01_29 PUNC n80_a_lob_j01_1->n80_a_lob_j01_29 n80_a_lob_j01_3 ADJP n80_a_lob_j01_2->n80_a_lob_j01_3 n80_a_lob_j01_6 N n80_a_lob_j01_2->n80_a_lob_j01_6 n80_a_lob_j01_8 NS n80_a_lob_j01_2->n80_a_lob_j01_8 n80_a_lob_j01_4 ADJ n80_a_lob_j01_3->n80_a_lob_j01_4 n80_a_lob_j01_4->n80_a_lob_j01_5 n80_a_lob_j01_6->n80_a_lob_j01_7 n80_a_lob_j01_8->n80_a_lob_j01_9 n80_a_lob_j01_10->n80_a_lob_j01_11 n80_a_lob_j01_13 NP-LGS n80_a_lob_j01_12->n80_a_lob_j01_13 n80_a_lob_j01_15 VVN;_Tn.pr_ n80_a_lob_j01_12->n80_a_lob_j01_15 n80_a_lob_j01_17 PP-NIM n80_a_lob_j01_12->n80_a_lob_j01_17 n80_a_lob_j01_23 PP-PRD n80_a_lob_j01_12->n80_a_lob_j01_23 n80_a_lob_j01_13->n80_a_lob_j01_14 n80_a_lob_j01_15->n80_a_lob_j01_16 n80_a_lob_j01_18 P-ROLE n80_a_lob_j01_17->n80_a_lob_j01_18 n80_a_lob_j01_20 NP n80_a_lob_j01_17->n80_a_lob_j01_20 n80_a_lob_j01_18->n80_a_lob_j01_19 n80_a_lob_j01_21 N n80_a_lob_j01_20->n80_a_lob_j01_21 n80_a_lob_j01_21->n80_a_lob_j01_22 n80_a_lob_j01_24 P-ROLE n80_a_lob_j01_23->n80_a_lob_j01_24 n80_a_lob_j01_26 NP n80_a_lob_j01_23->n80_a_lob_j01_26 n80_a_lob_j01_24->n80_a_lob_j01_25 n80_a_lob_j01_27 NS n80_a_lob_j01_26->n80_a_lob_j01_27 n80_a_lob_j01_27->n80_a_lob_j01_28 n80_a_lob_j01_29->n80_a_lob_j01_30
( (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))