TSPC 8_a_lob

8_a_lob_j01
The use of solid electrolytes in galvanic cells has been described in detail by Kiukkola and Wagner.

arc(r_0008_0001__The_r_0008_0002__use, r_0008_0005__electrolytes, r_0008_0003__of).
arc(r_0008_0005__electrolytes, r_0008_0004__solid, attrib11).
arc(r_0008_0005__electrolytes, r_0008_0008__cells, r_0008_0006__in).
arc(r_0008_0008__cells, r_0008_0007__galvanic, attrib20).
arc(r_0008_0009__has, r_0008_0010__been, scope).
arc(r_0008_0010__been, r_0008_0011__described, scope).
arc(r_0008_0011__described, r_0008_0001__The_r_0008_0002__use, arg1).
arc(r_0008_0011__described, r_0008_0013__detail, r_0008_0012__in_nim36).
arc(r_0008_0011__described, r_0008_0016__and, arg0).
arc(r_0008_0016__and, r_0008_0015__Kiukkola, conj1).
arc(r_0008_0016__and, r_0008_0017__Wagner, conj2).

fof(formula,axiom,
    ? [R_0008_0004__SOLID,R_0008_0007__GALVANIC,R_0008_0008__CELLS,R_0008_0005__ELECTROLYTES,R_0008_0001__THE_R_0008_0002__USE,R_0008_0013__DETAIL,R_0008_0015__KIUKKOLA,R_0008_0017__WAGNER,R_0008_0016__AND,R_0008_0009__HAS_R_0008_0010__BEEN_R_0008_0011__DESCRIBED] :
      ( r_0008_0004__solid(R_0008_0004__SOLID)
      & r_0008_0007__galvanic(R_0008_0007__GALVANIC)
      & r_0008_0013__detail(R_0008_0013__DETAIL)
      & r_0008_0015__Kiukkola(R_0008_0015__KIUKKOLA)
      & r_0008_0017__Wagner(R_0008_0017__WAGNER)
      & r_0008_0009__has_r_0008_0010__been_r_0008_0011__described(R_0008_0009__HAS_R_0008_0010__BEEN_R_0008_0011__DESCRIBED)
      & has_arg0(R_0008_0009__HAS_R_0008_0010__BEEN_R_0008_0011__DESCRIBED,R_0008_0016__AND)
      & r_0008_0016__and(R_0008_0016__AND)
      & has_conj2(R_0008_0016__AND,R_0008_0017__WAGNER)
      & has_conj1(R_0008_0016__AND,R_0008_0015__KIUKKOLA)
      & has_r_0008_0012__in_nim36(R_0008_0009__HAS_R_0008_0010__BEEN_R_0008_0011__DESCRIBED,R_0008_0013__DETAIL)
      & has_arg1(R_0008_0009__HAS_R_0008_0010__BEEN_R_0008_0011__DESCRIBED,R_0008_0001__THE_R_0008_0002__USE)
      & r_0008_0001__The_r_0008_0002__use(R_0008_0001__THE_R_0008_0002__USE)
      & has_r_0008_0003__of(R_0008_0001__THE_R_0008_0002__USE,R_0008_0005__ELECTROLYTES)
      & r_0008_0005__electrolytes(R_0008_0005__ELECTROLYTES)
      & has_r_0008_0006__in(R_0008_0005__ELECTROLYTES,R_0008_0008__CELLS)
      & r_0008_0008__cells(R_0008_0008__CELLS)
      & has_attrib20(R_0008_0008__CELLS,R_0008_0007__GALVANIC)
      & has_attrib11(R_0008_0005__ELECTROLYTES,R_0008_0004__SOLID) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N use;{use})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ solid;{solid}))
                          (NS electrolytes;{electrolyte})
                          (PP (P-ROLE in;{in})
                              (NP (ADJP (ADJ galvanic;{galvanic}))
                                  (NS cells;{cell}))))))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (VVN;_Tn_ described;{describe})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (N detail;{detail})))
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (NLYR (NLYR (NPR Kiukkola;{Kiukkola}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NPR Wagner;{Wagner}))))))))
          (PUNC .))
  (ID 8_a_lob_j01))