84_a_lob_j01
The niobic acid is washed, ignited to niobium pentoxide, which is mounted on a tared counting tray and weighed.
arc(r_0084_0004__is, z_000_84_a_lob_j01_12, scope).
arc(r_0084_0005__washed, r_0084_0001__The_r_0084_0002__niobic_r_0084_0003__acid, arg1).
arc(r_0084_0005__washed, z_000_84_a_lob_j01_14, arg0).
arc(r_0084_0007__ignited, r_0084_0001__The_r_0084_0002__niobic_r_0084_0003__acid, arg1).
arc(r_0084_0007__ignited, r_0084_0010__pentoxide, r_0084_0008__to_nim29).
arc(r_0084_0007__ignited, z_000_84_a_lob_j01_22, arg0).
arc(r_0084_0010__pentoxide, r_0084_0009__niobium, attrib30).
arc(r_0084_0013__is, r_0084_0020__and, scope).
arc(r_0084_0014__mounted, r_0084_0010__pentoxide, arg1).
arc(r_0084_0014__mounted, r_0084_0016__a_r_0084_0019__tray, r_0084_0015__on_nim53).
arc(r_0084_0014__mounted, z_000_84_a_lob_j01_46, arg0).
arc(r_0084_0016__a_r_0084_0019__tray, r_0084_0017__tared, attrib56).
arc(r_0084_0018__counting, r_0084_0016__a_r_0084_0019__tray, arg0).
arc(r_0084_0020__and, r_0084_0014__mounted, conj1).
arc(r_0084_0020__and, r_0084_0021__weighed, conj2).
arc(r_0084_0021__weighed, r_0084_0010__pentoxide, arg1).
arc(r_0084_0021__weighed, z_000_84_a_lob_j01_68, arg0).
arc(z_000_84_a_lob_j01_12, r_0084_0005__washed, conj1).
arc(z_000_84_a_lob_j01_12, r_0084_0007__ignited, conj2).
fof(formula,axiom,
? [R_84_18_COUNTING,R_84_16_A_TRAY,R_84_17_TARED] :
( tared(R_84_17_TARED)
& ~ ? [Z_84_A_LOB_J01_12,R_84_5_WASHED,Z_84_A_LOB_J01_14,R_84_7_IGNITED,Z_84_A_LOB_J01_22,R_84_1_THE_NIOBIC_ACID,R_84_10_PENTOXIDE,R_84_9_NIOBIUM] :
( the_niobic_acid(R_84_1_THE_NIOBIC_ACID)
& niobium(R_84_9_NIOBIUM)
& z_84_a_lob_j01_12(Z_84_A_LOB_J01_12)
& conj1(Z_84_A_LOB_J01_12,R_84_5_WASHED)
& washed(R_84_5_WASHED,Z_84_A_LOB_J01_14,R_84_1_THE_NIOBIC_ACID)
& conj2(Z_84_A_LOB_J01_12,R_84_7_IGNITED)
& ignited(R_84_7_IGNITED,Z_84_A_LOB_J01_22,R_84_1_THE_NIOBIC_ACID)
& to_nim29(R_84_7_IGNITED,R_84_10_PENTOXIDE)
& pentoxide(R_84_10_PENTOXIDE)
& attrib30(R_84_10_PENTOXIDE,R_84_9_NIOBIUM) )
& ~ ? [R_84_20_AND,R_84_14_MOUNTED,Z_84_A_LOB_J01_46,R_84_21_WEIGHED,Z_84_A_LOB_J01_68,R_84_10_PENTOXIDE,R_84_9_NIOBIUM] :
( niobium(R_84_9_NIOBIUM)
& and(R_84_20_AND)
& conj1(R_84_20_AND,R_84_14_MOUNTED)
& mounted(R_84_14_MOUNTED,Z_84_A_LOB_J01_46,R_84_10_PENTOXIDE)
& pentoxide(R_84_10_PENTOXIDE)
& attrib30(R_84_10_PENTOXIDE,R_84_9_NIOBIUM)
& on_nim53(R_84_14_MOUNTED,R_84_16_A_TRAY)
& conj2(R_84_20_AND,R_84_21_WEIGHED)
& weighed(R_84_21_WEIGHED,Z_84_A_LOB_J01_68,R_84_10_PENTOXIDE) )
& counting(R_84_18_COUNTING,R_84_16_A_TRAY)
& a_tray(R_84_16_A_TRAY)
& attrib56(R_84_16_A_TRAY,R_84_17_TARED) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N niobic;{niobic})
(N acid;{acid}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
(VVN;__ washed;{wash}))
(PUNC ,)
(CONJP (ILYR (NP-LGS *)
(VVN;__ ignited;{ignite})
(PP-NIM (P-ROLE to;{to})
(NP (ADJP (ADJ niobium;{niobium}))
(N pentoxide;{pentoxide})
(PUNC ,)
(IP-REL (NP-SBJ (RPRO which;{which}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
(VVN;__ mounted;{mount})
(PP-NIM (P-ROLE on;{on})
(NP (D a;{a})
(ADJP (ADJ tared;{tared}))
(IP-PPL (VAG;__ counting;{count}))
(N tray;{tray}))))
(CONJP (CONJ and;{and})
(ILYR (NP-LGS *)
(VVN;__ weighed;{weigh}))))))))))))
(PUNC .))
(ID 84_a_lob_j01))