arc(r_0051_0002__materials, r_0051_0001__Possible, attrib3).
arc(r_0051_0003__are, r_0051_0002__materials, arg0).
arc(r_0051_0003__are, r_0051_0004__zirconia, prd).
arc(r_0051_0005__stabilised, r_0051_0004__zirconia, arg1).
arc(r_0051_0005__stabilised, r_0051_0008__and, r_0051_0006__with_nim21).
arc(r_0051_0005__stabilised, z_000_51_a_lob_j01_14, arg0).
arc(r_0051_0008__and, r_0051_0007__lime, conj1).
arc(r_0051_0008__and, r_0051_0009__thoria, conj2).
arc(r_0051_0010__doped, r_0051_0008__and, arg1).
arc(r_0051_0010__doped, r_0051_0013__earth_r_0051_0014__oxides, r_0051_0011__with_nim40).
arc(r_0051_0010__doped, z_000_51_a_lob_j01_33, arg0).
arc(r_0051_0013__earth_r_0051_0014__oxides, r_0051_0012__rare, attrib41).

fof(formula,axiom,
    ? [R_0051_0001__POSSIBLE,R_0051_0002__MATERIALS,R_0051_0004__ZIRCONIA,R_0051_0003__ARE,R_0051_0007__LIME,R_0051_0009__THORIA,R_0051_0008__AND,Z_000_51_A_LOB_J01_14,R_0051_0005__STABILISED,R_0051_0012__RARE,R_0051_0013__EARTH_R_0051_0014__OXIDES,Z_000_51_A_LOB_J01_33,R_0051_0010__DOPED] :
      ( r_0051_0001__Possible(R_0051_0001__POSSIBLE)
      & r_0051_0004__zirconia(R_0051_0004__ZIRCONIA)
      & r_0051_0007__lime(R_0051_0007__LIME)
      & r_0051_0009__thoria(R_0051_0009__THORIA)
      & r_0051_0012__rare(R_0051_0012__RARE)
      & z_000_51_a_lob_j01_14(Z_000_51_A_LOB_J01_14)
      & z_000_51_a_lob_j01_33(Z_000_51_A_LOB_J01_33)
      & r_0051_0010__doped(R_0051_0010__DOPED)
      & has_arg0(R_0051_0010__DOPED,Z_000_51_A_LOB_J01_33)
      & has_r_0051_0011__with_nim40(R_0051_0010__DOPED,R_0051_0013__EARTH_R_0051_0014__OXIDES)
      & r_0051_0013__earth_r_0051_0014__oxides(R_0051_0013__EARTH_R_0051_0014__OXIDES)
      & has_attrib41(R_0051_0013__EARTH_R_0051_0014__OXIDES,R_0051_0012__RARE)
      & has_arg1(R_0051_0010__DOPED,R_0051_0008__AND)
      & r_0051_0008__and(R_0051_0008__AND)
      & has_conj2(R_0051_0008__AND,R_0051_0009__THORIA)
      & has_conj1(R_0051_0008__AND,R_0051_0007__LIME)
      & r_0051_0005__stabilised(R_0051_0005__STABILISED)
      & has_arg0(R_0051_0005__STABILISED,Z_000_51_A_LOB_J01_14)
      & has_r_0051_0006__with_nim21(R_0051_0005__STABILISED,R_0051_0008__AND)
      & has_arg1(R_0051_0005__STABILISED,R_0051_0004__ZIRCONIA)
      & r_0051_0003__are(R_0051_0003__ARE)
      & has_prd(R_0051_0003__ARE,R_0051_0004__ZIRCONIA)
      & has_arg0(R_0051_0003__ARE,R_0051_0002__MATERIALS)
      & r_0051_0002__materials(R_0051_0002__MATERIALS)
      & has_attrib3(R_0051_0002__MATERIALS,R_0051_0001__POSSIBLE) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Possible;{possible}))
                  (NS materials;{material}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (N zirconia;{zirconia})
                  (IP-PPL (NP-LGS *)
                          (VVN;_Tn_ stabilised;{stabilise})
                          (PP-NIM (P-ROLE with;{with})
                                  (NP (NLYR (NLYR (N lime;{lime}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (N thoria;{thoria}))))
                                      (IP-PPL (NP-LGS *)
                                              (VVN;_Tn_ doped;{dope})
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (ADJP (ADJ rare;{rare}))
                                                          (N earth;{earth})
                                                          (NS oxides;{oxide}))))))))
          (PUNC .))
  (ID 51_a_lob_j01))