91_a_lob_j01
Fuse 20 g of pure niobium pentoxide with 72 g of potassium carbonate in a platinum dish.
arc(r_0091_0001__Fuse, r_0091_0002__20_r_0091_0003__g, arg1).
arc(r_0091_0001__Fuse, r_0091_0009__72_r_0091_0010__g, r_0091_0008__with_nim24).
arc(r_0091_0001__Fuse, r_0091_0015__a_r_0091_0017__dish, r_0091_0014__in_nim41).
arc(r_0091_0001__Fuse, z_000_91_a_lob_j01_1, arg0).
arc(r_0091_0002__20_r_0091_0003__g, r_0091_0007__pentoxide, r_0091_0004__of).
arc(r_0091_0007__pentoxide, r_0091_0005__pure, attrib13).
arc(r_0091_0007__pentoxide, r_0091_0006__niobium, attrib16).
arc(r_0091_0009__72_r_0091_0010__g, r_0091_0013__carbonate, r_0091_0011__of).
arc(r_0091_0013__carbonate, r_0091_0012__potassium, attrib33).
arc(r_0091_0015__a_r_0091_0017__dish, r_0091_0016__platinum, attrib44).
fof(formula,axiom,
? [R_0091_0005__PURE,R_0091_0006__NIOBIUM,R_0091_0007__PENTOXIDE,R_0091_0002__20_R_0091_0003__G,R_0091_0012__POTASSIUM,R_0091_0013__CARBONATE,R_0091_0009__72_R_0091_0010__G,R_0091_0016__PLATINUM,R_0091_0015__A_R_0091_0017__DISH,Z_000_91_A_LOB_J01_1,R_0091_0001__FUSE] :
( r_0091_0005__pure(R_0091_0005__PURE)
& r_0091_0006__niobium(R_0091_0006__NIOBIUM)
& r_0091_0012__potassium(R_0091_0012__POTASSIUM)
& r_0091_0016__platinum(R_0091_0016__PLATINUM)
& z_000_91_a_lob_j01_1(Z_000_91_A_LOB_J01_1)
& r_0091_0001__Fuse(R_0091_0001__FUSE)
& has_arg0(R_0091_0001__FUSE,Z_000_91_A_LOB_J01_1)
& has_r_0091_0014__in_nim41(R_0091_0001__FUSE,R_0091_0015__A_R_0091_0017__DISH)
& r_0091_0015__a_r_0091_0017__dish(R_0091_0015__A_R_0091_0017__DISH)
& has_attrib44(R_0091_0015__A_R_0091_0017__DISH,R_0091_0016__PLATINUM)
& has_r_0091_0008__with_nim24(R_0091_0001__FUSE,R_0091_0009__72_R_0091_0010__G)
& r_0091_0009__72_r_0091_0010__g(R_0091_0009__72_R_0091_0010__G)
& has_r_0091_0011__of(R_0091_0009__72_R_0091_0010__G,R_0091_0013__CARBONATE)
& r_0091_0013__carbonate(R_0091_0013__CARBONATE)
& has_attrib33(R_0091_0013__CARBONATE,R_0091_0012__POTASSIUM)
& has_arg1(R_0091_0001__FUSE,R_0091_0002__20_R_0091_0003__G)
& r_0091_0002__20_r_0091_0003__g(R_0091_0002__20_R_0091_0003__G)
& has_r_0091_0004__of(R_0091_0002__20_R_0091_0003__G,R_0091_0007__PENTOXIDE)
& r_0091_0007__pentoxide(R_0091_0007__PENTOXIDE)
& has_attrib16(R_0091_0007__PENTOXIDE,R_0091_0006__NIOBIUM)
& has_attrib13(R_0091_0007__PENTOXIDE,R_0091_0005__PURE) ) ).
( (IP-IMP (VB;__ Fuse;{fuse})
(NP-OB1 (NUM 20)
(FO g)
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ pure;{pure}))
(ADJP (ADJ niobium;{niobium}))
(N pentoxide;{pentoxide}))))
(PP-NIM (P-ROLE with;{with})
(NP (NUM 72)
(FO g)
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ potassium;{potassium}))
(N carbonate;{carbonate})))))
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(ADJP (ADJ platinum;{platinum}))
(N dish;{dish})))
(PUNC .))
(ID 91_a_lob_j01))