TSPC 17_a_lob

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

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).

fof(formula,axiom,
    ? [R_0017_0003__ABOVE,R_0017_0002__THE,R_0017_0007__THESE_R_0017_0008__CONDITIONS,R_0017_0004__THIS_R_0017_0005__CELL,R_0017_0011__VOLTAGES,R_0017_0009__SHOULD_R_0017_0010__GIVE,R_0017_0014__224__HYPHEN__147_R_0017_0015__MV,R_0017_0012__RANGING] :
      ( r_0017_0003__above(R_0017_0003__ABOVE)
      & r_0017_0007__these_r_0017_0008__conditions(R_0017_0007__THESE_R_0017_0008__CONDITIONS)
      & r_0017_0011__voltages(R_0017_0011__VOLTAGES)
      & r_0017_0014__224__hyphen__147_r_0017_0015__mv(R_0017_0014__224__HYPHEN__147_R_0017_0015__MV)
      & r_0017_0012__ranging(R_0017_0012__RANGING)
      & has_r_0017_0013__from_clr38(R_0017_0012__RANGING,R_0017_0014__224__HYPHEN__147_R_0017_0015__MV)
      & has_arg0(R_0017_0012__RANGING,R_0017_0011__VOLTAGES)
      & r_0017_0009__should_r_0017_0010__give(R_0017_0009__SHOULD_R_0017_0010__GIVE)
      & has_arg1(R_0017_0009__SHOULD_R_0017_0010__GIVE,R_0017_0011__VOLTAGES)
      & has_arg0(R_0017_0009__SHOULD_R_0017_0010__GIVE,R_0017_0004__THIS_R_0017_0005__CELL)
      & r_0017_0004__this_r_0017_0005__cell(R_0017_0004__THIS_R_0017_0005__CELL)
      & has_r_0017_0006__under(R_0017_0004__THIS_R_0017_0005__CELL,R_0017_0007__THESE_R_0017_0008__CONDITIONS)
      & has_r_0017_0001__According_to_nim5(R_0017_0009__SHOULD_R_0017_0010__GIVE,R_0017_0002__THE)
      & r_0017_0002__the(R_0017_0002__THE)
      & has_qual8(R_0017_0002__THE,R_0017_0003__ABOVE) ) ).

( (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))