TSPC 38_a_lob

38_a_lob_j01
Thus the number of 0<bsup>=<ast><bsup> ions travelling through the electrolyte per second <ast>?1810<bsup>5<ast><bsup>.

( (FRAG (ADVP-NIM (ADV Thus;{thus}))
        (NP (D the;{the})
            (N number;{number})
            (PP (P-ROLE of;{of})
                (NP (FO 0<bsup>=<ast><bsup>)
                    (NS ions;{ion})
                    (IP-PPL (VAG;_Ipr_ travelling;{travel[through]})
                            (PP-CLR (P-ROLE through;{through})
                                    (NP (D the;{the})
                                        (N electrolyte;{electrolyte})))
                            (PP-NIM (P-ROLE per;{per})
                                    (NP (NUM second;{second}))))))
            (PRN (NP (FO <ast>?1810<bsup>5<ast><bsup>))))
        (PUNC .))
  (ID 38_a_lob_j01))

arc(r_0038_0002__the_r_0038_0003__number,r_0038_0006__ions,r_0038_0004__of).
arc(r_0038_0007__travelling_r_0038_0008__through,r_0038_0006__ions,inv_arg0).
arc(r_0038_0007__travelling_r_0038_0008__through,r_0038_0009__the_r_0038_0010__electrolyte,arg1).
arc(r_0038_0007__travelling_r_0038_0008__through,r_0038_0012__second,r_0038_0011__per__nim).
arc(z_0038_5010,r_0038_0002__the_r_0038_0003__number,arg0).
arc(z_0038_5010,z_0038_5009,prd).
arc(z_0038_5013,r_0038_0001__Thus,nim).
arc(z_0038_5013,r_0038_0002__the_r_0038_0003__number,z_0038_5002).

fof(formula,axiom,
    ? [R_0038_0009__THE_R_0038_0010__ELECTROLYTE,R_0038_0012__SECOND,R_0038_0007__TRAVELLING_R_0038_0008__THROUGH,R_0038_0006__IONS,R_0038_0002__THE_R_0038_0003__NUMBER,Z_0038_5009,Z_0038_5010,R_0038_0001__THUS,Z_0038_5013] :
      ( r_0038_0001__Thus(R_0038_0001__THUS)
      & r_0038_0009__the_r_0038_0010__electrolyte(R_0038_0009__THE_R_0038_0010__ELECTROLYTE)
      & r_0038_0012__second(R_0038_0012__SECOND)
      & z_0038_5009(Z_0038_5009)
      & z_0038_5013(Z_0038_5013)
      & has_z_0038_5002(Z_0038_5013,R_0038_0002__THE_R_0038_0003__NUMBER)
      & r_0038_0002__the_r_0038_0003__number(R_0038_0002__THE_R_0038_0003__NUMBER)
      & has_r_0038_0004__of(R_0038_0002__THE_R_0038_0003__NUMBER,R_0038_0006__IONS)
      & r_0038_0006__ions(R_0038_0006__IONS)
      & has_inv_arg0(R_0038_0006__IONS,R_0038_0007__TRAVELLING_R_0038_0008__THROUGH)
      & r_0038_0007__travelling_r_0038_0008__through(R_0038_0007__TRAVELLING_R_0038_0008__THROUGH)
      & has_r_0038_0011__per__nim(R_0038_0007__TRAVELLING_R_0038_0008__THROUGH,R_0038_0012__SECOND)
      & has_arg1(R_0038_0007__TRAVELLING_R_0038_0008__THROUGH,R_0038_0009__THE_R_0038_0010__ELECTROLYTE)
      & has_nim(Z_0038_5013,R_0038_0001__THUS)
      & z_0038_5010(Z_0038_5010)
      & has_prd(Z_0038_5010,Z_0038_5009)
      & has_arg0(Z_0038_5010,R_0038_0002__THE_R_0038_0003__NUMBER) ) ).