TSPC 27_a_lob

27_a_lob_j01
Changes in voltage accompanying fluctuations of coolant temperature according to equation (6) vary only slightly with concentration and are proportional to the temperature change.

arc(r_0027_0001__Changes, r_0027_0003__voltage, r_0027_0002__in).
arc(r_0027_0004__accompanying, r_0027_0003__voltage, arg0).
arc(r_0027_0004__accompanying, r_0027_0005__fluctuations, arg1).
arc(r_0027_0005__fluctuations, r_0027_0007__coolant_r_0027_0008__temperature, r_0027_0006__of).
arc(r_0027_0005__fluctuations, r_0027_0010__equation_r_0027_0012__6, r_0027_0009__according_to).
arc(r_0027_0014__vary, r_0027_0001__Changes, arg0).
arc(r_0027_0014__vary, r_0027_0018__concentration, r_0027_0015__only_r_0027_0016__slightly_r_0027_0017__with_nim48).
arc(r_0027_0019__and, r_0027_0014__vary, conj1).
arc(r_0027_0019__and, r_0027_0020__are, conj2).
arc(r_0027_0020__are, r_0027_0001__Changes, arg0).
arc(r_0027_0020__are, r_0027_0021__proportional, prd).
arc(r_0027_0021__proportional, r_0027_0023__the_r_0027_0024__temperature_r_0027_0025__change, r_0027_0022__to).

fof(formula,axiom,
    ? [R_0027_0003__VOLTAGE,R_0027_0007__COOLANT_R_0027_0008__TEMPERATURE,R_0027_0010__EQUATION_R_0027_0012__6,R_0027_0005__FLUCTUATIONS,R_0027_0004__ACCOMPANYING,R_0027_0001__CHANGES,R_0027_0018__CONCENTRATION,R_0027_0014__VARY,R_0027_0023__THE_R_0027_0024__TEMPERATURE_R_0027_0025__CHANGE,R_0027_0021__PROPORTIONAL,R_0027_0020__ARE,R_0027_0019__AND] :
      ( r_0027_0003__voltage(R_0027_0003__VOLTAGE)
      & r_0027_0007__coolant_r_0027_0008__temperature(R_0027_0007__COOLANT_R_0027_0008__TEMPERATURE)
      & r_0027_0010__equation_r_0027_0012__6(R_0027_0010__EQUATION_R_0027_0012__6)
      & r_0027_0018__concentration(R_0027_0018__CONCENTRATION)
      & r_0027_0023__the_r_0027_0024__temperature_r_0027_0025__change(R_0027_0023__THE_R_0027_0024__TEMPERATURE_R_0027_0025__CHANGE)
      & r_0027_0019__and(R_0027_0019__AND)
      & has_conj2(R_0027_0019__AND,R_0027_0020__ARE)
      & r_0027_0020__are(R_0027_0020__ARE)
      & has_prd(R_0027_0020__ARE,R_0027_0021__PROPORTIONAL)
      & r_0027_0021__proportional(R_0027_0021__PROPORTIONAL)
      & has_r_0027_0022__to(R_0027_0021__PROPORTIONAL,R_0027_0023__THE_R_0027_0024__TEMPERATURE_R_0027_0025__CHANGE)
      & has_arg0(R_0027_0020__ARE,R_0027_0001__CHANGES)
      & r_0027_0001__Changes(R_0027_0001__CHANGES)
      & has_r_0027_0002__in(R_0027_0001__CHANGES,R_0027_0003__VOLTAGE)
      & has_conj1(R_0027_0019__AND,R_0027_0014__VARY)
      & r_0027_0014__vary(R_0027_0014__VARY)
      & has_r_0027_0015__only_r_0027_0016__slightly_r_0027_0017__with_nim48(R_0027_0014__VARY,R_0027_0018__CONCENTRATION)
      & has_arg0(R_0027_0014__VARY,R_0027_0001__CHANGES)
      & r_0027_0004__accompanying(R_0027_0004__ACCOMPANYING)
      & has_arg1(R_0027_0004__ACCOMPANYING,R_0027_0005__FLUCTUATIONS)
      & r_0027_0005__fluctuations(R_0027_0005__FLUCTUATIONS)
      & has_r_0027_0009__according_to(R_0027_0005__FLUCTUATIONS,R_0027_0010__EQUATION_R_0027_0012__6)
      & has_r_0027_0006__of(R_0027_0005__FLUCTUATIONS,R_0027_0007__COOLANT_R_0027_0008__TEMPERATURE)
      & has_arg0(R_0027_0004__ACCOMPANYING,R_0027_0003__VOLTAGE) ) ).

( (IP-MAT (NP-SBJ (NS Changes;{change})
                  (PP (P-ROLE in;{in})
                      (NP (N voltage;{voltage})
                          (IP-PPL (VAG;_Tn_ accompanying;{accompany})
                                  (NP-OB1 (NS fluctuations;{fluctuation})
                                          (PP (P-ROLE of;{of})
                                              (NP (N coolant;{coolant})
                                                  (N temperature;{temperature})))
                                          (PP (P-ROLE according_to;{according_to})
                                              (NP (N equation;{equation})
                                                  (PULB -LRB-)
                                                  (NUM 6)
                                                  (PURB -RRB-))))))))
          (ILYR (ILYR (VBP;_I_ vary;{vary})
                      (PP-NIM (ADV only;{only})
                              (ADV slightly;{slightly})
                              (P-ROLE with;{with})
                              (NP (N concentration;{concentration}))))
                (CONJP (CONJ and;{and})
                       (ILYR (BEP;_La_ are;{be})
                             (ADJP-PRD (ADJ proportional;{proportional})
                                       (PP (P-ROLE to;{to})
                                           (NP (D the;{the})
                                               (N temperature;{temperature})
                                               (N change;{change})))))))
          (PUNC .))
  (ID 27_a_lob_j01))