Context                Previous, Next                Top


17_a_lob_j01
According to the above this cell under these conditions should give voltages ranging from 224-147 mv.

%3 r_0017_0002__the the r_0017_0003__above above r_0017_0002__the->r_0017_0003__above [qual] r_0017_0004__this_r_0017_0005__cell this cell r_0017_0007__these_r_0017_0008__conditions these conditions r_0017_0004__this_r_0017_0005__cell->r_0017_0007__these_r_0017_0008__conditions under r_0017_0009__should should r_0017_0009__should->r_0017_0002__the According to [nim] r_0017_0010__give give r_0017_0009__should->r_0017_0010__give [scope] r_0017_0010__give->r_0017_0004__this_r_0017_0005__cell [arg0] r_0017_0011__voltages voltages r_0017_0010__give->r_0017_0011__voltages [arg1] r_0017_0012__ranging ranging r_0017_0012__ranging->r_0017_0011__voltages [arg0] r_0017_0014__224__hyphen__147_r_0017_0015__mv 224-147 mv r_0017_0012__ranging->r_0017_0014__224__hyphen__147_r_0017_0015__mv from [clr] 
arc(r_0017_0002__the, r_0017_0003__above, qual8).
arc(r_0017_0004__this_r_0017_0005__cell, r_0017_0007__these_r_0017_0008__conditions, r_0017_0006__under).
arc(r_0017_0009__should, r_0017_0002__the, r_0017_0001__According_to_nim5).
arc(r_0017_0009__should, r_0017_0010__give, scope).
arc(r_0017_0010__give, r_0017_0004__this_r_0017_0005__cell, arg0).
arc(r_0017_0010__give, r_0017_0011__voltages, arg1).
arc(r_0017_0012__ranging, r_0017_0011__voltages, arg0).
arc(r_0017_0012__ranging, r_0017_0014__224__hyphen__147_r_0017_0015__mv, r_0017_0013__from_clr38).


%3 r_0017_0012__ranging ranging r_0017_0014__224__hyphen__147_r_0017_0015__mv 224-147 mv r_0017_0012__ranging->r_0017_0014__224__hyphen__147_r_0017_0015__mv from [clr] r_0017_0011__voltages voltages r_0017_0012__ranging->r_0017_0011__voltages [arg0] r_0017_0009__should_r_0017_0010__give should give r_0017_0009__should_r_0017_0010__give->r_0017_0011__voltages [arg1] r_0017_0004__this_r_0017_0005__cell this cell r_0017_0009__should_r_0017_0010__give->r_0017_0004__this_r_0017_0005__cell [arg0] r_0017_0002__the the r_0017_0009__should_r_0017_0010__give->r_0017_0002__the According to [nim] r_0017_0007__these_r_0017_0008__conditions these conditions r_0017_0004__this_r_0017_0005__cell->r_0017_0007__these_r_0017_0008__conditions under r_0017_0003__above above r_0017_0002__the->r_0017_0003__above [qual] 
fof(formula,axiom,
    ? [R_17_9_SHOULD_GIVE,R_17_4_THIS_CELL,R_17_7_THESE_CONDITIONS,R_17_2_THE,R_17_3_ABOVE,R_17_12_RANGING,R_17_11_VOLTAGES,R_17_14_224_HYPHEN_147_MV] :
      ( these_conditions(R_17_7_THESE_CONDITIONS)
      & above(R_17_3_ABOVE)
      & voltages(R_17_11_VOLTAGES)
      & 224_hyphen_147_mv(R_17_14_224_HYPHEN_147_MV)
      & should_give(R_17_9_SHOULD_GIVE,R_17_4_THIS_CELL,R_17_11_VOLTAGES)
      & this_cell(R_17_4_THIS_CELL)
      & under(R_17_4_THIS_CELL,R_17_7_THESE_CONDITIONS)
      & according_to_nim5(R_17_9_SHOULD_GIVE,R_17_2_THE)
      & the(R_17_2_THE)
      & qual8(R_17_2_THE,R_17_3_ABOVE)
      & ranging(R_17_12_RANGING,R_17_11_VOLTAGES)
      & from_clr38(R_17_12_RANGING,R_17_14_224_HYPHEN_147_MV) ) ).


n17_a_lob_j01 n17_a_lob_j01__1_1_1_1 According_to n17_a_lob_j01__1_1_2_1_1 the n17_a_lob_j01__1_1_2_2_1_1 above n17_a_lob_j01__1_2_1_1 this n17_a_lob_j01__1_2_2_1 cell n17_a_lob_j01__1_2_3_1_1 under n17_a_lob_j01__1_2_3_2_1_1 these n17_a_lob_j01__1_2_3_2_2_1 conditions n17_a_lob_j01__1_3_1 should n17_a_lob_j01__1_4_1_1 give n17_a_lob_j01__1_4_2_1_1 voltages n17_a_lob_j01__1_4_2_2_1_1 ranging n17_a_lob_j01__1_4_2_2_2_1_1 from n17_a_lob_j01__1_4_2_2_2_2_1_1 224-147 n17_a_lob_j01__1_4_2_2_2_2_2_1 mv n17_a_lob_j01__1_5_1 . n17_a_lob_j01__1 IP-MAT n17_a_lob_j01__1_1 PP-NIM n17_a_lob_j01__1->n17_a_lob_j01__1_1 n17_a_lob_j01__1_2 NP-SBJ n17_a_lob_j01__1->n17_a_lob_j01__1_2 n17_a_lob_j01__1_3 MD;_cat_Vi_ n17_a_lob_j01__1->n17_a_lob_j01__1_3 n17_a_lob_j01__1_4 IP-INF-CAT n17_a_lob_j01__1->n17_a_lob_j01__1_4 n17_a_lob_j01__1_5 PUNC n17_a_lob_j01__1->n17_a_lob_j01__1_5 n17_a_lob_j01__1_1_1 P-ROLE n17_a_lob_j01__1_1->n17_a_lob_j01__1_1_1 n17_a_lob_j01__1_1_2 NP n17_a_lob_j01__1_1->n17_a_lob_j01__1_1_2 n17_a_lob_j01__1_1_1->n17_a_lob_j01__1_1_1_1 n17_a_lob_j01__1_1_2_1 D n17_a_lob_j01__1_1_2->n17_a_lob_j01__1_1_2_1 n17_a_lob_j01__1_1_2_2 ADVP n17_a_lob_j01__1_1_2->n17_a_lob_j01__1_1_2_2 n17_a_lob_j01__1_1_2_1->n17_a_lob_j01__1_1_2_1_1 n17_a_lob_j01__1_1_2_2_1 ADV n17_a_lob_j01__1_1_2_2->n17_a_lob_j01__1_1_2_2_1 n17_a_lob_j01__1_1_2_2_1->n17_a_lob_j01__1_1_2_2_1_1 n17_a_lob_j01__1_2_1 D n17_a_lob_j01__1_2->n17_a_lob_j01__1_2_1 n17_a_lob_j01__1_2_2 N n17_a_lob_j01__1_2->n17_a_lob_j01__1_2_2 n17_a_lob_j01__1_2_3 PP n17_a_lob_j01__1_2->n17_a_lob_j01__1_2_3 n17_a_lob_j01__1_2_1->n17_a_lob_j01__1_2_1_1 n17_a_lob_j01__1_2_2->n17_a_lob_j01__1_2_2_1 n17_a_lob_j01__1_2_3_1 P-ROLE n17_a_lob_j01__1_2_3->n17_a_lob_j01__1_2_3_1 n17_a_lob_j01__1_2_3_2 NP n17_a_lob_j01__1_2_3->n17_a_lob_j01__1_2_3_2 n17_a_lob_j01__1_2_3_1->n17_a_lob_j01__1_2_3_1_1 n17_a_lob_j01__1_2_3_2_1 D n17_a_lob_j01__1_2_3_2->n17_a_lob_j01__1_2_3_2_1 n17_a_lob_j01__1_2_3_2_2 NS n17_a_lob_j01__1_2_3_2->n17_a_lob_j01__1_2_3_2_2 n17_a_lob_j01__1_2_3_2_1->n17_a_lob_j01__1_2_3_2_1_1 n17_a_lob_j01__1_2_3_2_2->n17_a_lob_j01__1_2_3_2_2_1 n17_a_lob_j01__1_3->n17_a_lob_j01__1_3_1 n17_a_lob_j01__1_4_1 VB;_Tn_ n17_a_lob_j01__1_4->n17_a_lob_j01__1_4_1 n17_a_lob_j01__1_4_2 NP-OB1 n17_a_lob_j01__1_4->n17_a_lob_j01__1_4_2 n17_a_lob_j01__1_4_1->n17_a_lob_j01__1_4_1_1 n17_a_lob_j01__1_4_2_1 NS n17_a_lob_j01__1_4_2->n17_a_lob_j01__1_4_2_1 n17_a_lob_j01__1_4_2_2 IP-PPL n17_a_lob_j01__1_4_2->n17_a_lob_j01__1_4_2_2 n17_a_lob_j01__1_4_2_1->n17_a_lob_j01__1_4_2_1_1 n17_a_lob_j01__1_4_2_2_1 VAG;_Ipr_ n17_a_lob_j01__1_4_2_2->n17_a_lob_j01__1_4_2_2_1 n17_a_lob_j01__1_4_2_2_2 PP-CLR n17_a_lob_j01__1_4_2_2->n17_a_lob_j01__1_4_2_2_2 n17_a_lob_j01__1_4_2_2_1->n17_a_lob_j01__1_4_2_2_1_1 n17_a_lob_j01__1_4_2_2_2_1 P-ROLE n17_a_lob_j01__1_4_2_2_2->n17_a_lob_j01__1_4_2_2_2_1 n17_a_lob_j01__1_4_2_2_2_2 NP n17_a_lob_j01__1_4_2_2_2->n17_a_lob_j01__1_4_2_2_2_2 n17_a_lob_j01__1_4_2_2_2_1->n17_a_lob_j01__1_4_2_2_2_1_1 n17_a_lob_j01__1_4_2_2_2_2_1 NUM n17_a_lob_j01__1_4_2_2_2_2->n17_a_lob_j01__1_4_2_2_2_2_1 n17_a_lob_j01__1_4_2_2_2_2_2 N n17_a_lob_j01__1_4_2_2_2_2->n17_a_lob_j01__1_4_2_2_2_2_2 n17_a_lob_j01__1_4_2_2_2_2_1->n17_a_lob_j01__1_4_2_2_2_2_1_1 n17_a_lob_j01__1_4_2_2_2_2_2->n17_a_lob_j01__1_4_2_2_2_2_2_1 n17_a_lob_j01__1_5->n17_a_lob_j01__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE According_to;{according_to})
                  (NP (D the;{the})
                      (ADVP (ADV above;{above}))))
          (NP-SBJ (D this;{this})
                  (N cell;{cell})
                  (PP (P-ROLE under;{under})
                      (NP (D these;{these})
                          (NS conditions;{condition}))))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_Tn_ give;{give})
                      (NP-OB1 (NS voltages;{voltage})
                              (IP-PPL (VAG;_Ipr_ ranging;{range[from]})
                                      (PP-CLR (P-ROLE from;{from})
                                              (NP (NUM 224_<hyphen>_147)
                                                  (N mv;{mv}))))))
          (PUNC .))
  (ID 17_a_lob_j01))