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 z_000_23_a_lob_j01_58 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] r_0023_0015__the_r_0023_0017__change the change z_000_23_a_lob_j01_58->r_0023_0015__the_r_0023_0017__change [arg0] r_0023_0019__voltage voltage r_0023_0015__the_r_0023_0017__change->r_0023_0019__voltage in r_0023_0016__same same r_0023_0015__the_r_0023_0017__change->r_0023_0016__same [attrib] z_000_23_a_lob_j01_22 r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m 1-10 p.p.m z_000_23_a_lob_j01_22->r_0023_0008__1__hyphen__10_r_0023_0009__p_dot_p_dot_m [prd] r_0023_0006__1_r_0023_0007__p_dot_p_dot_m 1 p.p.m z_000_23_a_lob_j01_22->r_0023_0006__1_r_0023_0007__p_dot_p_dot_m [arg0] 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_0015__the_r_0023_0017__change in [clr] r_0023_0002__changes changes 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_0004__0_dot_1 0.1 r_0023_0002__changes->r_0023_0004__0_dot_1 from r_0023_0004__0_dot_1->r_0023_0006__1_r_0023_0007__p_dot_p_dot_m to 
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__1_1_1_1 Thus n23_a_lob_j01__1_2_1_1 changes n23_a_lob_j01__1_2_2_1_1 from n23_a_lob_j01__1_2_2_2_1_1 0.1 n23_a_lob_j01__1_2_2_2_2_1_1 to n23_a_lob_j01__1_2_2_2_2_2_1_1 1 n23_a_lob_j01__1_2_2_2_2_2_2_1 p.p.m n23_a_lob_j01__1_2_2_2_2_2_3_1_1_1 1-10 n23_a_lob_j01__1_2_2_2_2_2_3_1_2_1 p.p.m n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_1_1 10-100 n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_2_1 p.p.m n23_a_lob_j01__1_3_1 would n23_a_lob_j01__1_4_1_1 result n23_a_lob_j01__1_4_2_1_1 in n23_a_lob_j01__1_4_2_2_1_1 the n23_a_lob_j01__1_4_2_2_2_1_1 same n23_a_lob_j01__1_4_2_2_3_1 change n23_a_lob_j01__1_4_2_2_4_1_1 in n23_a_lob_j01__1_4_2_2_4_2_1_1 voltage n23_a_lob_j01__1_4_2_2_5_1 -LRB- n23_a_lob_j01__1_4_2_2_6_1_1_1 1776 n23_a_lob_j01__1_4_2_2_6_1_2_1 mv n23_a_lob_j01__1_4_2_2_7_1 -RRB- n23_a_lob_j01__1_5_1 . n23_a_lob_j01__1 IP-MAT n23_a_lob_j01__1_1 ADVP-NIM n23_a_lob_j01__1->n23_a_lob_j01__1_1 n23_a_lob_j01__1_2 NP-SBJ n23_a_lob_j01__1->n23_a_lob_j01__1_2 n23_a_lob_j01__1_3 MD;_cat_Vi_ n23_a_lob_j01__1->n23_a_lob_j01__1_3 n23_a_lob_j01__1_4 IP-INF-CAT n23_a_lob_j01__1->n23_a_lob_j01__1_4 n23_a_lob_j01__1_5 PUNC n23_a_lob_j01__1->n23_a_lob_j01__1_5 n23_a_lob_j01__1_1_1 ADV n23_a_lob_j01__1_1->n23_a_lob_j01__1_1_1 n23_a_lob_j01__1_1_1->n23_a_lob_j01__1_1_1_1 n23_a_lob_j01__1_2_1 NS n23_a_lob_j01__1_2->n23_a_lob_j01__1_2_1 n23_a_lob_j01__1_2_2 PP n23_a_lob_j01__1_2->n23_a_lob_j01__1_2_2 n23_a_lob_j01__1_2_1->n23_a_lob_j01__1_2_1_1 n23_a_lob_j01__1_2_2_1 P-ROLE n23_a_lob_j01__1_2_2->n23_a_lob_j01__1_2_2_1 n23_a_lob_j01__1_2_2_2 NP n23_a_lob_j01__1_2_2->n23_a_lob_j01__1_2_2_2 n23_a_lob_j01__1_2_2_1->n23_a_lob_j01__1_2_2_1_1 n23_a_lob_j01__1_2_2_2_1 NUM n23_a_lob_j01__1_2_2_2->n23_a_lob_j01__1_2_2_2_1 n23_a_lob_j01__1_2_2_2_2 PP n23_a_lob_j01__1_2_2_2->n23_a_lob_j01__1_2_2_2_2 n23_a_lob_j01__1_2_2_2_1->n23_a_lob_j01__1_2_2_2_1_1 n23_a_lob_j01__1_2_2_2_2_1 P-ROLE n23_a_lob_j01__1_2_2_2_2->n23_a_lob_j01__1_2_2_2_2_1 n23_a_lob_j01__1_2_2_2_2_2 NP n23_a_lob_j01__1_2_2_2_2->n23_a_lob_j01__1_2_2_2_2_2 n23_a_lob_j01__1_2_2_2_2_1->n23_a_lob_j01__1_2_2_2_2_1_1 n23_a_lob_j01__1_2_2_2_2_2_1 NUM n23_a_lob_j01__1_2_2_2_2_2->n23_a_lob_j01__1_2_2_2_2_2_1 n23_a_lob_j01__1_2_2_2_2_2_2 N n23_a_lob_j01__1_2_2_2_2_2->n23_a_lob_j01__1_2_2_2_2_2_2 n23_a_lob_j01__1_2_2_2_2_2_3 IP-PPL n23_a_lob_j01__1_2_2_2_2_2->n23_a_lob_j01__1_2_2_2_2_2_3 n23_a_lob_j01__1_2_2_2_2_2_1->n23_a_lob_j01__1_2_2_2_2_2_1_1 n23_a_lob_j01__1_2_2_2_2_2_2->n23_a_lob_j01__1_2_2_2_2_2_2_1 n23_a_lob_j01__1_2_2_2_2_2_3_1 NP-PRD n23_a_lob_j01__1_2_2_2_2_2_3->n23_a_lob_j01__1_2_2_2_2_2_3_1 n23_a_lob_j01__1_2_2_2_2_2_3_1_1 NUM n23_a_lob_j01__1_2_2_2_2_2_3_1->n23_a_lob_j01__1_2_2_2_2_2_3_1_1 n23_a_lob_j01__1_2_2_2_2_2_3_1_2 N n23_a_lob_j01__1_2_2_2_2_2_3_1->n23_a_lob_j01__1_2_2_2_2_2_3_1_2 n23_a_lob_j01__1_2_2_2_2_2_3_1_3 PP n23_a_lob_j01__1_2_2_2_2_2_3_1->n23_a_lob_j01__1_2_2_2_2_2_3_1_3 n23_a_lob_j01__1_2_2_2_2_2_3_1_1->n23_a_lob_j01__1_2_2_2_2_2_3_1_1_1 n23_a_lob_j01__1_2_2_2_2_2_3_1_2->n23_a_lob_j01__1_2_2_2_2_2_3_1_2_1 n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1 NP n23_a_lob_j01__1_2_2_2_2_2_3_1_3->n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1 n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_1 NUM n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1->n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_1 n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_2 N n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1->n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_2 n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_1->n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_1_1 n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_2->n23_a_lob_j01__1_2_2_2_2_2_3_1_3_1_2_1 n23_a_lob_j01__1_3->n23_a_lob_j01__1_3_1 n23_a_lob_j01__1_4_1 VB;_Ipr_ n23_a_lob_j01__1_4->n23_a_lob_j01__1_4_1 n23_a_lob_j01__1_4_2 PP-CLR n23_a_lob_j01__1_4->n23_a_lob_j01__1_4_2 n23_a_lob_j01__1_4_1->n23_a_lob_j01__1_4_1_1 n23_a_lob_j01__1_4_2_1 P-ROLE n23_a_lob_j01__1_4_2->n23_a_lob_j01__1_4_2_1 n23_a_lob_j01__1_4_2_2 NP n23_a_lob_j01__1_4_2->n23_a_lob_j01__1_4_2_2 n23_a_lob_j01__1_4_2_1->n23_a_lob_j01__1_4_2_1_1 n23_a_lob_j01__1_4_2_2_1 D n23_a_lob_j01__1_4_2_2->n23_a_lob_j01__1_4_2_2_1 n23_a_lob_j01__1_4_2_2_2 ADJP n23_a_lob_j01__1_4_2_2->n23_a_lob_j01__1_4_2_2_2 n23_a_lob_j01__1_4_2_2_3 N n23_a_lob_j01__1_4_2_2->n23_a_lob_j01__1_4_2_2_3 n23_a_lob_j01__1_4_2_2_4 PP n23_a_lob_j01__1_4_2_2->n23_a_lob_j01__1_4_2_2_4 n23_a_lob_j01__1_4_2_2_5 PULB n23_a_lob_j01__1_4_2_2->n23_a_lob_j01__1_4_2_2_5 n23_a_lob_j01__1_4_2_2_6 IP-PPL n23_a_lob_j01__1_4_2_2->n23_a_lob_j01__1_4_2_2_6 n23_a_lob_j01__1_4_2_2_7 PURB n23_a_lob_j01__1_4_2_2->n23_a_lob_j01__1_4_2_2_7 n23_a_lob_j01__1_4_2_2_1->n23_a_lob_j01__1_4_2_2_1_1 n23_a_lob_j01__1_4_2_2_2_1 ADJ n23_a_lob_j01__1_4_2_2_2->n23_a_lob_j01__1_4_2_2_2_1 n23_a_lob_j01__1_4_2_2_2_1->n23_a_lob_j01__1_4_2_2_2_1_1 n23_a_lob_j01__1_4_2_2_3->n23_a_lob_j01__1_4_2_2_3_1 n23_a_lob_j01__1_4_2_2_4_1 P-ROLE n23_a_lob_j01__1_4_2_2_4->n23_a_lob_j01__1_4_2_2_4_1 n23_a_lob_j01__1_4_2_2_4_2 NP n23_a_lob_j01__1_4_2_2_4->n23_a_lob_j01__1_4_2_2_4_2 n23_a_lob_j01__1_4_2_2_4_1->n23_a_lob_j01__1_4_2_2_4_1_1 n23_a_lob_j01__1_4_2_2_4_2_1 N n23_a_lob_j01__1_4_2_2_4_2->n23_a_lob_j01__1_4_2_2_4_2_1 n23_a_lob_j01__1_4_2_2_4_2_1->n23_a_lob_j01__1_4_2_2_4_2_1_1 n23_a_lob_j01__1_4_2_2_5->n23_a_lob_j01__1_4_2_2_5_1 n23_a_lob_j01__1_4_2_2_6_1 NP-PRD n23_a_lob_j01__1_4_2_2_6->n23_a_lob_j01__1_4_2_2_6_1 n23_a_lob_j01__1_4_2_2_6_1_1 NUM n23_a_lob_j01__1_4_2_2_6_1->n23_a_lob_j01__1_4_2_2_6_1_1 n23_a_lob_j01__1_4_2_2_6_1_2 N n23_a_lob_j01__1_4_2_2_6_1->n23_a_lob_j01__1_4_2_2_6_1_2 n23_a_lob_j01__1_4_2_2_6_1_1->n23_a_lob_j01__1_4_2_2_6_1_1_1 n23_a_lob_j01__1_4_2_2_6_1_2->n23_a_lob_j01__1_4_2_2_6_1_2_1 n23_a_lob_j01__1_4_2_2_7->n23_a_lob_j01__1_4_2_2_7_1 n23_a_lob_j01__1_5->n23_a_lob_j01__1_5_1 
( (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))