Context                Previous, Next                Top


93_a_lob_j01
Transfer the solution and any undissolved solid to a glass beaker, stir thoroughly and add 16 M nitric acid until the solution is strongly acid to litmus.

%3 r_0093_0001__Transfer Transfer r_0093_0004__and and r_0093_0001__Transfer->r_0093_0004__and [arg1] r_0093_0009__a_r_0093_0010__glass_r_0093_0011__beaker a glass beaker r_0093_0001__Transfer->r_0093_0009__a_r_0093_0010__glass_r_0093_0011__beaker to [clr] z_000_93_a_lob_j01_1 r_0093_0001__Transfer->z_000_93_a_lob_j01_1 [arg0] r_0093_0002__the_r_0093_0003__solution the solution r_0093_0004__and->r_0093_0002__the_r_0093_0003__solution [conj1] r_0093_0005__any_r_0093_0007__solid any solid r_0093_0004__and->r_0093_0005__any_r_0093_0007__solid [conj2] r_0093_0006__undissolved undissolved r_0093_0005__any_r_0093_0007__solid->r_0093_0006__undissolved [attrib] r_0093_0013__stir stir r_0093_0013__stir->z_000_93_a_lob_j01_1 [arg0] r_0093_0014__thoroughly thoroughly r_0093_0013__stir->r_0093_0014__thoroughly [nim] r_0093_0015__and and r_0093_0015__and->r_0093_0001__Transfer [conj1] r_0093_0015__and->r_0093_0013__stir [conj2] r_0093_0021__until until r_0093_0015__and->r_0093_0021__until [conj3] r_0093_0016__add add r_0093_0021__until->r_0093_0016__add [scope] r_0093_0024__is is r_0093_0021__until->r_0093_0024__is [restriction] r_0093_0016__add->z_000_93_a_lob_j01_1 [arg0] r_0093_0017__16_r_0093_0018__M_r_0093_0019__nitric_r_0093_0020__acid 16 M nitric acid r_0093_0016__add->r_0093_0017__16_r_0093_0018__M_r_0093_0019__nitric_r_0093_0020__acid [arg1] r_0093_0022__the_r_0093_0023__solution the solution r_0093_0024__is->r_0093_0022__the_r_0093_0023__solution [arg0] r_0093_0026__acid acid r_0093_0024__is->r_0093_0026__acid [prd] r_0093_0025__strongly strongly r_0093_0026__acid->r_0093_0025__strongly [qual] r_0093_0028__litmus litmus r_0093_0026__acid->r_0093_0028__litmus to 
arc(r_0093_0001__Transfer, r_0093_0004__and, arg1).
arc(r_0093_0001__Transfer, r_0093_0009__a_r_0093_0010__glass_r_0093_0011__beaker, r_0093_0008__to_clr27).
arc(r_0093_0001__Transfer, z_000_93_a_lob_j01_1, arg0).
arc(r_0093_0004__and, r_0093_0002__the_r_0093_0003__solution, conj1).
arc(r_0093_0004__and, r_0093_0005__any_r_0093_0007__solid, conj2).
arc(r_0093_0005__any_r_0093_0007__solid, r_0093_0006__undissolved, attrib19).
arc(r_0093_0013__stir, r_0093_0014__thoroughly, nim40).
arc(r_0093_0013__stir, z_000_93_a_lob_j01_1, arg0).
arc(r_0093_0015__and, r_0093_0001__Transfer, conj1).
arc(r_0093_0015__and, r_0093_0013__stir, conj2).
arc(r_0093_0015__and, r_0093_0021__until, conj3).
arc(r_0093_0016__add, r_0093_0017__16_r_0093_0018__M_r_0093_0019__nitric_r_0093_0020__acid, arg1).
arc(r_0093_0016__add, z_000_93_a_lob_j01_1, arg0).
arc(r_0093_0021__until, r_0093_0016__add, scope).
arc(r_0093_0021__until, r_0093_0024__is, restriction).
arc(r_0093_0024__is, r_0093_0022__the_r_0093_0023__solution, arg0).
arc(r_0093_0024__is, r_0093_0026__acid, prd).
arc(r_0093_0026__acid, r_0093_0025__strongly, qual70).
arc(r_0093_0026__acid, r_0093_0028__litmus, r_0093_0027__to).


%3 r_0093_0001__Transfer Transfer r_0093_0004__and and r_0093_0001__Transfer->r_0093_0004__and [arg1] r_0093_0009__a_r_0093_0010__glass_r_0093_0011__beaker a glass beaker r_0093_0001__Transfer->r_0093_0009__a_r_0093_0010__glass_r_0093_0011__beaker to [clr] z_000_93_a_lob_j01_1 r_0093_0001__Transfer->z_000_93_a_lob_j01_1 [arg0] r_0093_0002__the_r_0093_0003__solution the solution r_0093_0004__and->r_0093_0002__the_r_0093_0003__solution [conj1] r_0093_0005__any_r_0093_0007__solid any solid r_0093_0004__and->r_0093_0005__any_r_0093_0007__solid [conj2] r_0093_0006__undissolved undissolved r_0093_0005__any_r_0093_0007__solid->r_0093_0006__undissolved [attrib] r_0093_0013__stir stir r_0093_0013__stir->z_000_93_a_lob_j01_1 [arg0] r_0093_0014__thoroughly thoroughly r_0093_0013__stir->r_0093_0014__thoroughly [nim] r_0093_0015__and and r_0093_0015__and->r_0093_0001__Transfer [conj1] r_0093_0015__and->r_0093_0013__stir [conj2] r_0093_0021__until until r_0093_0015__and->r_0093_0021__until [conj3] r_0093_0016__add add r_0093_0021__until->r_0093_0016__add [conj2] r_0093_0024__is is r_0093_0021__until->r_0093_0024__is [conj1] r_0093_0016__add->z_000_93_a_lob_j01_1 [arg0] r_0093_0017__16_r_0093_0018__M_r_0093_0019__nitric_r_0093_0020__acid 16 M nitric acid r_0093_0016__add->r_0093_0017__16_r_0093_0018__M_r_0093_0019__nitric_r_0093_0020__acid [arg1] r_0093_0022__the_r_0093_0023__solution the solution r_0093_0024__is->r_0093_0022__the_r_0093_0023__solution [arg0] r_0093_0026__acid acid r_0093_0024__is->r_0093_0026__acid [prd] r_0093_0025__strongly strongly r_0093_0026__acid->r_0093_0025__strongly [qual] r_0093_0028__litmus litmus r_0093_0026__acid->r_0093_0028__litmus to 
fof(formula,axiom,
    ? [R_93_15_AND,R_93_1_TRANSFER,R_93_4_AND,R_93_2_THE_SOLUTION,R_93_5_ANY_SOLID,R_93_6_UNDISSOLVED,R_93_9_A_GLASS_BEAKER,R_93_13_STIR,R_93_14_THOROUGHLY,R_93_21_UNTIL,R_93_24_IS,R_93_22_THE_SOLUTION,R_93_26_ACID,R_93_25_STRONGLY,R_93_28_LITMUS,R_93_16_ADD,Z_93_A_LOB_J01_1,R_93_17_16_M_NITRIC_ACID] :
      ( the_solution(R_93_2_THE_SOLUTION)
      & undissolved(R_93_6_UNDISSOLVED)
      & a_glass_beaker(R_93_9_A_GLASS_BEAKER)
      & thoroughly(R_93_14_THOROUGHLY)
      & the_solution(R_93_22_THE_SOLUTION)
      & strongly(R_93_25_STRONGLY)
      & litmus(R_93_28_LITMUS)
      & 16_M_nitric_acid(R_93_17_16_M_NITRIC_ACID)
      & and(R_93_15_AND)
      & conj1(R_93_15_AND,R_93_1_TRANSFER)
      & transfer(R_93_1_TRANSFER,Z_93_A_LOB_J01_1,R_93_4_AND)
      & and(R_93_4_AND)
      & conj1(R_93_4_AND,R_93_2_THE_SOLUTION)
      & conj2(R_93_4_AND,R_93_5_ANY_SOLID)
      & any_solid(R_93_5_ANY_SOLID)
      & attrib19(R_93_5_ANY_SOLID,R_93_6_UNDISSOLVED)
      & to_clr27(R_93_1_TRANSFER,R_93_9_A_GLASS_BEAKER)
      & conj2(R_93_15_AND,R_93_13_STIR)
      & stir(R_93_13_STIR,Z_93_A_LOB_J01_1)
      & nim40(R_93_13_STIR,R_93_14_THOROUGHLY)
      & conj3(R_93_15_AND,R_93_21_UNTIL)
      & until(R_93_21_UNTIL)
      & conj1(R_93_21_UNTIL,R_93_24_IS)
      & is(R_93_24_IS,R_93_22_THE_SOLUTION,R_93_26_ACID)
      & acid(R_93_26_ACID)
      & qual70(R_93_26_ACID,R_93_25_STRONGLY)
      & to(R_93_26_ACID,R_93_28_LITMUS)
      & conj2(R_93_21_UNTIL,R_93_16_ADD)
      & add(R_93_16_ADD,Z_93_A_LOB_J01_1,R_93_17_16_M_NITRIC_ACID) ) ).


n93_a_lob_j01 n93_a_lob_j01_5 Transfer n93_a_lob_j01_10 the n93_a_lob_j01_12 solution n93_a_lob_j01_15 and n93_a_lob_j01_18 any n93_a_lob_j01_21 undissolved n93_a_lob_j01_23 solid n93_a_lob_j01_26 to n93_a_lob_j01_29 a n93_a_lob_j01_31 glass n93_a_lob_j01_33 beaker n93_a_lob_j01_35 , n93_a_lob_j01_39 stir n93_a_lob_j01_42 thoroughly n93_a_lob_j01_45 and n93_a_lob_j01_48 add n93_a_lob_j01_51 16 n93_a_lob_j01_53 M n93_a_lob_j01_55 nitric n93_a_lob_j01_57 acid n93_a_lob_j01_60 until n93_a_lob_j01_64 the n93_a_lob_j01_66 solution n93_a_lob_j01_68 is n93_a_lob_j01_72 strongly n93_a_lob_j01_74 acid n93_a_lob_j01_77 to n93_a_lob_j01_80 litmus n93_a_lob_j01_82 . n93_a_lob_j01_1 IP-IMP n93_a_lob_j01_2 ILYR n93_a_lob_j01_1->n93_a_lob_j01_2 n93_a_lob_j01_81 PUNC n93_a_lob_j01_1->n93_a_lob_j01_81 n93_a_lob_j01_3 ILYR n93_a_lob_j01_2->n93_a_lob_j01_3 n93_a_lob_j01_34 PUNC n93_a_lob_j01_2->n93_a_lob_j01_34 n93_a_lob_j01_36 CONJP n93_a_lob_j01_2->n93_a_lob_j01_36 n93_a_lob_j01_43 CONJP n93_a_lob_j01_2->n93_a_lob_j01_43 n93_a_lob_j01_4 VB;_Tn.pr_ n93_a_lob_j01_3->n93_a_lob_j01_4 n93_a_lob_j01_6 NP-OB1 n93_a_lob_j01_3->n93_a_lob_j01_6 n93_a_lob_j01_24 PP-CLR n93_a_lob_j01_3->n93_a_lob_j01_24 n93_a_lob_j01_4->n93_a_lob_j01_5 n93_a_lob_j01_7 NLYR n93_a_lob_j01_6->n93_a_lob_j01_7 n93_a_lob_j01_8 NLYR n93_a_lob_j01_7->n93_a_lob_j01_8 n93_a_lob_j01_13 CONJP n93_a_lob_j01_7->n93_a_lob_j01_13 n93_a_lob_j01_9 D n93_a_lob_j01_8->n93_a_lob_j01_9 n93_a_lob_j01_11 N n93_a_lob_j01_8->n93_a_lob_j01_11 n93_a_lob_j01_9->n93_a_lob_j01_10 n93_a_lob_j01_11->n93_a_lob_j01_12 n93_a_lob_j01_14 CONJ n93_a_lob_j01_13->n93_a_lob_j01_14 n93_a_lob_j01_16 NLYR n93_a_lob_j01_13->n93_a_lob_j01_16 n93_a_lob_j01_14->n93_a_lob_j01_15 n93_a_lob_j01_17 D n93_a_lob_j01_16->n93_a_lob_j01_17 n93_a_lob_j01_19 ADJP n93_a_lob_j01_16->n93_a_lob_j01_19 n93_a_lob_j01_22 N n93_a_lob_j01_16->n93_a_lob_j01_22 n93_a_lob_j01_17->n93_a_lob_j01_18 n93_a_lob_j01_20 ADJ n93_a_lob_j01_19->n93_a_lob_j01_20 n93_a_lob_j01_20->n93_a_lob_j01_21 n93_a_lob_j01_22->n93_a_lob_j01_23 n93_a_lob_j01_25 P-ROLE n93_a_lob_j01_24->n93_a_lob_j01_25 n93_a_lob_j01_27 NP n93_a_lob_j01_24->n93_a_lob_j01_27 n93_a_lob_j01_25->n93_a_lob_j01_26 n93_a_lob_j01_28 D n93_a_lob_j01_27->n93_a_lob_j01_28 n93_a_lob_j01_30 N n93_a_lob_j01_27->n93_a_lob_j01_30 n93_a_lob_j01_32 N n93_a_lob_j01_27->n93_a_lob_j01_32 n93_a_lob_j01_28->n93_a_lob_j01_29 n93_a_lob_j01_30->n93_a_lob_j01_31 n93_a_lob_j01_32->n93_a_lob_j01_33 n93_a_lob_j01_34->n93_a_lob_j01_35 n93_a_lob_j01_37 ILYR n93_a_lob_j01_36->n93_a_lob_j01_37 n93_a_lob_j01_38 VB;_I_ n93_a_lob_j01_37->n93_a_lob_j01_38 n93_a_lob_j01_40 ADVP-NIM n93_a_lob_j01_37->n93_a_lob_j01_40 n93_a_lob_j01_38->n93_a_lob_j01_39 n93_a_lob_j01_41 ADV n93_a_lob_j01_40->n93_a_lob_j01_41 n93_a_lob_j01_41->n93_a_lob_j01_42 n93_a_lob_j01_44 CONJ n93_a_lob_j01_43->n93_a_lob_j01_44 n93_a_lob_j01_46 ILYR n93_a_lob_j01_43->n93_a_lob_j01_46 n93_a_lob_j01_44->n93_a_lob_j01_45 n93_a_lob_j01_47 VB;_Tn_ n93_a_lob_j01_46->n93_a_lob_j01_47 n93_a_lob_j01_49 NP-OB1 n93_a_lob_j01_46->n93_a_lob_j01_49 n93_a_lob_j01_58 PP-SCON n93_a_lob_j01_46->n93_a_lob_j01_58 n93_a_lob_j01_47->n93_a_lob_j01_48 n93_a_lob_j01_50 NUM n93_a_lob_j01_49->n93_a_lob_j01_50 n93_a_lob_j01_52 N n93_a_lob_j01_49->n93_a_lob_j01_52 n93_a_lob_j01_54 N n93_a_lob_j01_49->n93_a_lob_j01_54 n93_a_lob_j01_56 N n93_a_lob_j01_49->n93_a_lob_j01_56 n93_a_lob_j01_50->n93_a_lob_j01_51 n93_a_lob_j01_52->n93_a_lob_j01_53 n93_a_lob_j01_54->n93_a_lob_j01_55 n93_a_lob_j01_56->n93_a_lob_j01_57 n93_a_lob_j01_59 P-CONN n93_a_lob_j01_58->n93_a_lob_j01_59 n93_a_lob_j01_61 IP-ADV n93_a_lob_j01_58->n93_a_lob_j01_61 n93_a_lob_j01_59->n93_a_lob_j01_60 n93_a_lob_j01_62 NP-SBJ n93_a_lob_j01_61->n93_a_lob_j01_62 n93_a_lob_j01_67 BEP;_La_ n93_a_lob_j01_61->n93_a_lob_j01_67 n93_a_lob_j01_69 ADJP-PRD n93_a_lob_j01_61->n93_a_lob_j01_69 n93_a_lob_j01_63 D n93_a_lob_j01_62->n93_a_lob_j01_63 n93_a_lob_j01_65 N n93_a_lob_j01_62->n93_a_lob_j01_65 n93_a_lob_j01_63->n93_a_lob_j01_64 n93_a_lob_j01_65->n93_a_lob_j01_66 n93_a_lob_j01_67->n93_a_lob_j01_68 n93_a_lob_j01_70 ADVP n93_a_lob_j01_69->n93_a_lob_j01_70 n93_a_lob_j01_73 ADJ n93_a_lob_j01_69->n93_a_lob_j01_73 n93_a_lob_j01_75 PP n93_a_lob_j01_69->n93_a_lob_j01_75 n93_a_lob_j01_71 ADV n93_a_lob_j01_70->n93_a_lob_j01_71 n93_a_lob_j01_71->n93_a_lob_j01_72 n93_a_lob_j01_73->n93_a_lob_j01_74 n93_a_lob_j01_76 P-ROLE n93_a_lob_j01_75->n93_a_lob_j01_76 n93_a_lob_j01_78 NP n93_a_lob_j01_75->n93_a_lob_j01_78 n93_a_lob_j01_76->n93_a_lob_j01_77 n93_a_lob_j01_79 N n93_a_lob_j01_78->n93_a_lob_j01_79 n93_a_lob_j01_79->n93_a_lob_j01_80 n93_a_lob_j01_81->n93_a_lob_j01_82 
( (IP-IMP (ILYR (ILYR (VB;_Tn.pr_ Transfer;{transfer})
                      (NP-OB1 (NLYR (NLYR (D the;{the})
                                          (N solution;{solution}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (D any;{any})
                                                 (ADJP (ADJ undissolved;{undissolved}))
                                                 (N solid;{solid})))))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D a;{a})
                                  (N glass;{glass})
                                  (N beaker;{beaker}))))
                (PUNC ,)
                (CONJP (ILYR (VB;_I_ stir;{stir})
                             (ADVP-NIM (ADV thoroughly;{thoroughly}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Tn_ add;{add})
                             (NP-OB1 (NUM 16)
                                     (N M)
                                     (N nitric;{nitric})
                                     (N acid;{acid}))
                             (PP-SCON (P-CONN until;{until})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N solution;{solution}))
                                              (BEP;_La_ is;{be})
                                              (ADJP-PRD (ADVP (ADV strongly;{strongly}))
                                                        (ADJ acid;{acid})
                                                        (PP (P-ROLE to;{to})
                                                            (NP (N litmus;{litmus})))))))))
          (PUNC .))
  (ID 93_a_lob_j01))