Context                Previous, Next                Top


23_a_lob_j01
Thus changes from 0.1 to 1 p.p.m 1-10 p.p.m 10-100 p.p.m would result in the same change in voltage (1776 mv).

%3 r_0023_0002__changes changes r_0023_0004__0_dot_1 0.1 r_0023_0002__changes->r_0023_0004__0_dot_1 from r_0023_0006__1_r_0023_0007__p_dot_p_dot_m 1 p.p.m r_0023_0004__0_dot_1->r_0023_0006__1_r_0023_0007__p_dot_p_dot_m to r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m 1-10 p.p.m r_0023_0010__10__hyphen__100_r_0023_0011__p_dot_p_dot_m 10-100 p.p.m r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m->r_0023_0010__10__hyphen__100_r_0023_0011__p_dot_p_dot_m [nim] r_0023_0012__would would r_0023_0001__Thus Thus r_0023_0012__would->r_0023_0001__Thus [nim] r_0023_0013__result result r_0023_0012__would->r_0023_0013__result [scope] r_0023_0013__result->r_0023_0002__changes [arg0] r_0023_0015__the_r_0023_0017__change the change r_0023_0013__result->r_0023_0015__the_r_0023_0017__change in [clr] r_0023_0016__same same r_0023_0015__the_r_0023_0017__change->r_0023_0016__same [attrib] r_0023_0019__voltage voltage r_0023_0015__the_r_0023_0017__change->r_0023_0019__voltage in z_000_23_a_lob_j01_22 z_000_23_a_lob_j01_22->r_0023_0006__1_r_0023_0007__p_dot_p_dot_m [arg0] z_000_23_a_lob_j01_22->r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m [prd] z_000_23_a_lob_j01_58 z_000_23_a_lob_j01_58->r_0023_0015__the_r_0023_0017__change [arg0] r_0023_0021__1776_r_0023_0022__mv 1776 mv z_000_23_a_lob_j01_58->r_0023_0021__1776_r_0023_0022__mv [prd] 
arc(r_0023_0002__changes, r_0023_0004__0_dot_1, r_0023_0003__from).
arc(r_0023_0004__0_dot_1, r_0023_0006__1_r_0023_0007__p_dot_p_dot_m, r_0023_0005__to).
arc(r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m, r_0023_0010__10__hyphen__100_r_0023_0011__p_dot_p_dot_m, nim29).
arc(r_0023_0012__would, r_0023_0001__Thus, nim2).
arc(r_0023_0012__would, r_0023_0013__result, scope).
arc(r_0023_0013__result, r_0023_0002__changes, arg0).
arc(r_0023_0013__result, r_0023_0015__the_r_0023_0017__change, r_0023_0014__in_clr42).
arc(r_0023_0015__the_r_0023_0017__change, r_0023_0016__same, attrib45).
arc(r_0023_0015__the_r_0023_0017__change, r_0023_0019__voltage, r_0023_0018__in).
arc(z_000_23_a_lob_j01_22, r_0023_0006__1_r_0023_0007__p_dot_p_dot_m, arg0).
arc(z_000_23_a_lob_j01_22, r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m, prd).
arc(z_000_23_a_lob_j01_58, r_0023_0015__the_r_0023_0017__change, arg0).
arc(z_000_23_a_lob_j01_58, r_0023_0021__1776_r_0023_0022__mv, prd).


%3 r_0023_0002__changes changes r_0023_0004__0_dot_1 0.1 r_0023_0002__changes->r_0023_0004__0_dot_1 from r_0023_0006__1_r_0023_0007__p_dot_p_dot_m 1 p.p.m r_0023_0004__0_dot_1->r_0023_0006__1_r_0023_0007__p_dot_p_dot_m to r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m 1-10 p.p.m r_0023_0010__10__hyphen__100_r_0023_0011__p_dot_p_dot_m 10-100 p.p.m r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m->r_0023_0010__10__hyphen__100_r_0023_0011__p_dot_p_dot_m [nim] r_0023_0012__would_r_0023_0013__result would result r_0023_0012__would_r_0023_0013__result->r_0023_0002__changes [arg0] r_0023_0001__Thus Thus r_0023_0012__would_r_0023_0013__result->r_0023_0001__Thus [nim] r_0023_0015__the_r_0023_0017__change the change r_0023_0012__would_r_0023_0013__result->r_0023_0015__the_r_0023_0017__change in [clr] r_0023_0016__same same r_0023_0015__the_r_0023_0017__change->r_0023_0016__same [attrib] r_0023_0019__voltage voltage r_0023_0015__the_r_0023_0017__change->r_0023_0019__voltage in z_000_23_a_lob_j01_22 z_000_23_a_lob_j01_22->r_0023_0006__1_r_0023_0007__p_dot_p_dot_m [arg0] z_000_23_a_lob_j01_22->r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m [prd] z_000_23_a_lob_j01_58 z_000_23_a_lob_j01_58->r_0023_0015__the_r_0023_0017__change [arg0] r_0023_0021__1776_r_0023_0022__mv 1776 mv z_000_23_a_lob_j01_58->r_0023_0021__1776_r_0023_0022__mv [prd] 
fof(formula,axiom,
    ? [R_23_12_WOULD_RESULT,R_23_2_CHANGES,R_23_4__DOT_1,R_23_1_THUS,Z_23_A_LOB_J01_22,R_23_6_1_P_DOT_P_DOT_M,R_23_8_1_HYPHEN_10_P_DOT_P_DOT_M,R_23_10_10_HYPHEN_100_P_DOT_P_DOT_M,Z_23_A_LOB_J01_58,R_23_15_THE_CHANGE,R_23_16_SAME,R_23_19_VOLTAGE,R_23_21_1776_MV] :
      ( thus(R_23_1_THUS)
      & 1_p_dot_p_dot_m(R_23_6_1_P_DOT_P_DOT_M)
      & 10_hyphen_100_p_dot_p_dot_m(R_23_10_10_HYPHEN_100_P_DOT_P_DOT_M)
      & same(R_23_16_SAME)
      & voltage(R_23_19_VOLTAGE)
      & 1776_mv(R_23_21_1776_MV)
      & would_result(R_23_12_WOULD_RESULT,R_23_2_CHANGES)
      & changes(R_23_2_CHANGES)
      & from(R_23_2_CHANGES,R_23_4__DOT_1)
      & 0_dot_1(R_23_4__DOT_1)
      & to(R_23_4__DOT_1,R_23_6_1_P_DOT_P_DOT_M)
      & nim2(R_23_12_WOULD_RESULT,R_23_1_THUS)
      & in_clr42(R_23_12_WOULD_RESULT,R_23_15_THE_CHANGE)
      & the_change(R_23_15_THE_CHANGE)
      & attrib45(R_23_15_THE_CHANGE,R_23_16_SAME)
      & in(R_23_15_THE_CHANGE,R_23_19_VOLTAGE)
      & z_23_a_lob_j01_22(Z_23_A_LOB_J01_22,R_23_6_1_P_DOT_P_DOT_M,R_23_8_1_HYPHEN_10_P_DOT_P_DOT_M)
      & 1_hyphen_10_p_dot_p_dot_m(R_23_8_1_HYPHEN_10_P_DOT_P_DOT_M)
      & nim29(R_23_8_1_HYPHEN_10_P_DOT_P_DOT_M,R_23_10_10_HYPHEN_100_P_DOT_P_DOT_M)
      & z_23_a_lob_j01_58(Z_23_A_LOB_J01_58,R_23_15_THE_CHANGE,R_23_21_1776_MV) ) ).


n23_a_lob_j01 n23_a_lob_j01_4 Thus n23_a_lob_j01_7 changes n23_a_lob_j01_10 from n23_a_lob_j01_13 0.1 n23_a_lob_j01_16 to n23_a_lob_j01_19 1 n23_a_lob_j01_21 p.p.m n23_a_lob_j01_25 1-10 n23_a_lob_j01_27 p.p.m n23_a_lob_j01_31 10-100 n23_a_lob_j01_33 p.p.m n23_a_lob_j01_35 would n23_a_lob_j01_38 result n23_a_lob_j01_41 in n23_a_lob_j01_44 the n23_a_lob_j01_47 same n23_a_lob_j01_49 change n23_a_lob_j01_52 in n23_a_lob_j01_55 voltage n23_a_lob_j01_57 -LRB- n23_a_lob_j01_61 1776 n23_a_lob_j01_63 mv n23_a_lob_j01_65 -RRB- n23_a_lob_j01_67 . n23_a_lob_j01_1 IP-MAT n23_a_lob_j01_2 ADVP-NIM n23_a_lob_j01_1->n23_a_lob_j01_2 n23_a_lob_j01_5 NP-SBJ n23_a_lob_j01_1->n23_a_lob_j01_5 n23_a_lob_j01_34 MD;_cat_Vi_ n23_a_lob_j01_1->n23_a_lob_j01_34 n23_a_lob_j01_36 IP-INF-CAT n23_a_lob_j01_1->n23_a_lob_j01_36 n23_a_lob_j01_66 PUNC n23_a_lob_j01_1->n23_a_lob_j01_66 n23_a_lob_j01_3 ADV n23_a_lob_j01_2->n23_a_lob_j01_3 n23_a_lob_j01_3->n23_a_lob_j01_4 n23_a_lob_j01_6 NS n23_a_lob_j01_5->n23_a_lob_j01_6 n23_a_lob_j01_8 PP n23_a_lob_j01_5->n23_a_lob_j01_8 n23_a_lob_j01_6->n23_a_lob_j01_7 n23_a_lob_j01_9 P-ROLE n23_a_lob_j01_8->n23_a_lob_j01_9 n23_a_lob_j01_11 NP n23_a_lob_j01_8->n23_a_lob_j01_11 n23_a_lob_j01_9->n23_a_lob_j01_10 n23_a_lob_j01_12 NUM n23_a_lob_j01_11->n23_a_lob_j01_12 n23_a_lob_j01_14 PP n23_a_lob_j01_11->n23_a_lob_j01_14 n23_a_lob_j01_12->n23_a_lob_j01_13 n23_a_lob_j01_15 P-ROLE n23_a_lob_j01_14->n23_a_lob_j01_15 n23_a_lob_j01_17 NP n23_a_lob_j01_14->n23_a_lob_j01_17 n23_a_lob_j01_15->n23_a_lob_j01_16 n23_a_lob_j01_18 NUM n23_a_lob_j01_17->n23_a_lob_j01_18 n23_a_lob_j01_20 N n23_a_lob_j01_17->n23_a_lob_j01_20 n23_a_lob_j01_22 IP-PPL n23_a_lob_j01_17->n23_a_lob_j01_22 n23_a_lob_j01_18->n23_a_lob_j01_19 n23_a_lob_j01_20->n23_a_lob_j01_21 n23_a_lob_j01_23 NP-PRD n23_a_lob_j01_22->n23_a_lob_j01_23 n23_a_lob_j01_24 NUM n23_a_lob_j01_23->n23_a_lob_j01_24 n23_a_lob_j01_26 N n23_a_lob_j01_23->n23_a_lob_j01_26 n23_a_lob_j01_28 PP n23_a_lob_j01_23->n23_a_lob_j01_28 n23_a_lob_j01_24->n23_a_lob_j01_25 n23_a_lob_j01_26->n23_a_lob_j01_27 n23_a_lob_j01_29 NP n23_a_lob_j01_28->n23_a_lob_j01_29 n23_a_lob_j01_30 NUM n23_a_lob_j01_29->n23_a_lob_j01_30 n23_a_lob_j01_32 N n23_a_lob_j01_29->n23_a_lob_j01_32 n23_a_lob_j01_30->n23_a_lob_j01_31 n23_a_lob_j01_32->n23_a_lob_j01_33 n23_a_lob_j01_34->n23_a_lob_j01_35 n23_a_lob_j01_37 VB;_Ipr_ n23_a_lob_j01_36->n23_a_lob_j01_37 n23_a_lob_j01_39 PP-CLR n23_a_lob_j01_36->n23_a_lob_j01_39 n23_a_lob_j01_37->n23_a_lob_j01_38 n23_a_lob_j01_40 P-ROLE n23_a_lob_j01_39->n23_a_lob_j01_40 n23_a_lob_j01_42 NP n23_a_lob_j01_39->n23_a_lob_j01_42 n23_a_lob_j01_40->n23_a_lob_j01_41 n23_a_lob_j01_43 D n23_a_lob_j01_42->n23_a_lob_j01_43 n23_a_lob_j01_45 ADJP n23_a_lob_j01_42->n23_a_lob_j01_45 n23_a_lob_j01_48 N n23_a_lob_j01_42->n23_a_lob_j01_48 n23_a_lob_j01_50 PP n23_a_lob_j01_42->n23_a_lob_j01_50 n23_a_lob_j01_56 PULB n23_a_lob_j01_42->n23_a_lob_j01_56 n23_a_lob_j01_58 IP-PPL n23_a_lob_j01_42->n23_a_lob_j01_58 n23_a_lob_j01_64 PURB n23_a_lob_j01_42->n23_a_lob_j01_64 n23_a_lob_j01_43->n23_a_lob_j01_44 n23_a_lob_j01_46 ADJ n23_a_lob_j01_45->n23_a_lob_j01_46 n23_a_lob_j01_46->n23_a_lob_j01_47 n23_a_lob_j01_48->n23_a_lob_j01_49 n23_a_lob_j01_51 P-ROLE n23_a_lob_j01_50->n23_a_lob_j01_51 n23_a_lob_j01_53 NP n23_a_lob_j01_50->n23_a_lob_j01_53 n23_a_lob_j01_51->n23_a_lob_j01_52 n23_a_lob_j01_54 N n23_a_lob_j01_53->n23_a_lob_j01_54 n23_a_lob_j01_54->n23_a_lob_j01_55 n23_a_lob_j01_56->n23_a_lob_j01_57 n23_a_lob_j01_59 NP-PRD n23_a_lob_j01_58->n23_a_lob_j01_59 n23_a_lob_j01_60 NUM n23_a_lob_j01_59->n23_a_lob_j01_60 n23_a_lob_j01_62 N n23_a_lob_j01_59->n23_a_lob_j01_62 n23_a_lob_j01_60->n23_a_lob_j01_61 n23_a_lob_j01_62->n23_a_lob_j01_63 n23_a_lob_j01_64->n23_a_lob_j01_65 n23_a_lob_j01_66->n23_a_lob_j01_67 
( (IP-MAT (ADVP-NIM (ADV Thus;{thus}))
          (NP-SBJ (NS changes;{change})
                  (PP (P-ROLE from;{from})
                      (NP (NUM 0<dot>1)
                          (PP (P-ROLE to;{to})
                              (NP (NUM 1)
                                  (N p<dot>p<dot>m;{p<dot>p<dot>m})
                                  (IP-PPL (NP-PRD (NUM 1_<hyphen>_10)
                                                  (N p<dot>p<dot>m;{p<dot>p<dot>m})
                                                  (PP (NP (NUM 10_<hyphen>_100)
                                                          (N p<dot>p<dot>m;{p<dot>p<dot>m}))))))))))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Ipr_ result;{result[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (ADJP (ADJ same;{same}))
                                  (N change;{change})
                                  (PP (P-ROLE in;{in})
                                      (NP (N voltage;{voltage})))
                                  (PULB -LRB-)
                                  (IP-PPL (NP-PRD (NUM 1776)
                                                  (N mv;{mv})))
                                  (PURB -RRB-))))
          (PUNC .))
  (ID 23_a_lob_j01))