TSPC 50_a_lob

50_a_lob_j01
The first requirement is for an anionic electrolyte, which can be fabricated into suitable shapes impervious to gases and liquid sodium and which is neither corroded by sodium nor by sodium monoxide.

arc(r_0050_0004__is, r_0050_0001__The_r_0050_0002__first_r_0050_0003__requirement, arg0).
arc(r_0050_0004__is, r_0050_0006__an_r_0050_0008__electrolyte, r_0050_0005__for_clr14).
arc(r_0050_0006__an_r_0050_0008__electrolyte, r_0050_0007__anionic, attrib17).
arc(r_0050_0011__can, r_0050_0012__be, scope).
arc(r_0050_0012__be, r_0050_0013__fabricated, scope).
arc(r_0050_0013__fabricated, r_0050_0006__an_r_0050_0008__electrolyte, arg1).
arc(r_0050_0013__fabricated, r_0050_0016__shapes, r_0050_0014__into_nim43).
arc(r_0050_0013__fabricated, z_000_50_a_lob_j01_36, arg0).
arc(r_0050_0016__shapes, r_0050_0015__suitable, attrib44).
arc(r_0050_0016__shapes, r_0050_0017__impervious, attrib49).
arc(r_0050_0017__impervious, r_0050_0020__and, r_0050_0018__to).
arc(r_0050_0020__and, r_0050_0019__gases, conj1).
arc(r_0050_0020__and, r_0050_0022__sodium, conj2).
arc(r_0050_0022__sodium, r_0050_0021__liquid, attrib64).
arc(r_0050_0023__and, r_0050_0011__can, conj1).
arc(r_0050_0023__and, r_0050_0025__is, conj2).
arc(r_0050_0025__is, r_0050_0026__neither_r_0050_0030__nor, scope).
arc(r_0050_0026__neither_r_0050_0030__nor, r_0050_0027__corroded, conj1).
arc(r_0050_0026__neither_r_0050_0030__nor, z_000_50_a_lob_j01_94, conj2).
arc(r_0050_0027__corroded, r_0050_0006__an_r_0050_0008__electrolyte, arg1).
arc(r_0050_0027__corroded, r_0050_0029__sodium, arg0).
arc(z_000_50_a_lob_j01_94, r_0050_0006__an_r_0050_0008__electrolyte, arg1).
arc(z_000_50_a_lob_j01_94, r_0050_0032__sodium_r_0050_0033__monoxide, arg0).
arc(z_000_50_a_lob_j01_94, r_0050_0032__sodium_r_0050_0033__monoxide, lgs).

fof(formula,axiom,
    ? [R_0050_0001__THE_R_0050_0002__FIRST_R_0050_0003__REQUIREMENT,R_0050_0007__ANIONIC,R_0050_0006__AN_R_0050_0008__ELECTROLYTE,R_0050_0004__IS,R_0050_0015__SUITABLE,R_0050_0019__GASES,R_0050_0021__LIQUID,R_0050_0022__SODIUM,R_0050_0020__AND,R_0050_0017__IMPERVIOUS,R_0050_0016__SHAPES,Z_000_50_A_LOB_J01_36,R_0050_0011__CAN_R_0050_0012__BE_R_0050_0013__FABRICATED,R_0050_0029__SODIUM,R_0050_0027__CORRODED,R_0050_0032__SODIUM_R_0050_0033__MONOXIDE,Z_000_50_A_LOB_J01_94,R_0050_0026__NEITHER_R_0050_0030__NOR,R_0050_0025__IS,R_0050_0023__AND] :
      ( r_0050_0001__The_r_0050_0002__first_r_0050_0003__requirement(R_0050_0001__THE_R_0050_0002__FIRST_R_0050_0003__REQUIREMENT)
      & r_0050_0007__anionic(R_0050_0007__ANIONIC)
      & r_0050_0015__suitable(R_0050_0015__SUITABLE)
      & r_0050_0019__gases(R_0050_0019__GASES)
      & r_0050_0021__liquid(R_0050_0021__LIQUID)
      & r_0050_0029__sodium(R_0050_0029__SODIUM)
      & r_0050_0032__sodium_r_0050_0033__monoxide(R_0050_0032__SODIUM_R_0050_0033__MONOXIDE)
      & z_000_50_a_lob_j01_36(Z_000_50_A_LOB_J01_36)
      & r_0050_0023__and(R_0050_0023__AND)
      & has_conj2(R_0050_0023__AND,R_0050_0025__IS)
      & r_0050_0025__is(R_0050_0025__IS)
      & has_keep_scope(R_0050_0025__IS,R_0050_0026__NEITHER_R_0050_0030__NOR)
      & r_0050_0026__neither_r_0050_0030__nor(R_0050_0026__NEITHER_R_0050_0030__NOR)
      & has_conj2(R_0050_0026__NEITHER_R_0050_0030__NOR,Z_000_50_A_LOB_J01_94)
      & z_000_50_a_lob_j01_94(Z_000_50_A_LOB_J01_94)
      & has_lgs(Z_000_50_A_LOB_J01_94,R_0050_0032__SODIUM_R_0050_0033__MONOXIDE)
      & has_arg0(Z_000_50_A_LOB_J01_94,R_0050_0032__SODIUM_R_0050_0033__MONOXIDE)
      & has_arg1(Z_000_50_A_LOB_J01_94,R_0050_0006__AN_R_0050_0008__ELECTROLYTE)
      & r_0050_0006__an_r_0050_0008__electrolyte(R_0050_0006__AN_R_0050_0008__ELECTROLYTE)
      & has_attrib17(R_0050_0006__AN_R_0050_0008__ELECTROLYTE,R_0050_0007__ANIONIC)
      & has_conj1(R_0050_0026__NEITHER_R_0050_0030__NOR,R_0050_0027__CORRODED)
      & r_0050_0027__corroded(R_0050_0027__CORRODED)
      & has_arg0(R_0050_0027__CORRODED,R_0050_0029__SODIUM)
      & has_arg1(R_0050_0027__CORRODED,R_0050_0006__AN_R_0050_0008__ELECTROLYTE)
      & has_conj1(R_0050_0023__AND,R_0050_0011__CAN_R_0050_0012__BE_R_0050_0013__FABRICATED)
      & r_0050_0011__can_r_0050_0012__be_r_0050_0013__fabricated(R_0050_0011__CAN_R_0050_0012__BE_R_0050_0013__FABRICATED)
      & has_arg0(R_0050_0011__CAN_R_0050_0012__BE_R_0050_0013__FABRICATED,Z_000_50_A_LOB_J01_36)
      & has_r_0050_0014__into_nim43(R_0050_0011__CAN_R_0050_0012__BE_R_0050_0013__FABRICATED,R_0050_0016__SHAPES)
      & r_0050_0016__shapes(R_0050_0016__SHAPES)
      & has_attrib49(R_0050_0016__SHAPES,R_0050_0017__IMPERVIOUS)
      & r_0050_0017__impervious(R_0050_0017__IMPERVIOUS)
      & has_r_0050_0018__to(R_0050_0017__IMPERVIOUS,R_0050_0020__AND)
      & r_0050_0020__and(R_0050_0020__AND)
      & has_conj2(R_0050_0020__AND,R_0050_0022__SODIUM)
      & r_0050_0022__sodium(R_0050_0022__SODIUM)
      & has_attrib64(R_0050_0022__SODIUM,R_0050_0021__LIQUID)
      & has_conj1(R_0050_0020__AND,R_0050_0019__GASES)
      & has_attrib44(R_0050_0016__SHAPES,R_0050_0015__SUITABLE)
      & has_arg1(R_0050_0011__CAN_R_0050_0012__BE_R_0050_0013__FABRICATED,R_0050_0006__AN_R_0050_0008__ELECTROLYTE)
      & r_0050_0004__is(R_0050_0004__IS)
      & has_r_0050_0005__for_clr14(R_0050_0004__IS,R_0050_0006__AN_R_0050_0008__ELECTROLYTE)
      & has_arg0(R_0050_0004__IS,R_0050_0001__THE_R_0050_0002__FIRST_R_0050_0003__REQUIREMENT) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (NUM first;{first})
                  (N requirement;{requirement}))
          (BEP;_Ipr_ is;{be[for]})
          (PP-CLR (P-ROLE for;{for})
                  (NP (D an;{an})
                      (ADJP (ADJ anionic;{anionic}))
                      (N electrolyte;{electrolyte})
                      (PUNC ,)
                      (IP-REL (ILYR (ILYR (NP-SBJ (RPRO which;{which}))
                                          (MD;_cat_Vi_ can;{can})
                                          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                      (IP-PPL-CAT (NP-LGS *)
                                                                  (VVN;__ fabricated;{fabricate})
                                                                  (PP-NIM (P-ROLE into;{into})
                                                                          (NP (ADJP (ADJ suitable;{suitable}))
                                                                              (NS shapes;{shape})
                                                                              (ADJP (ADJ impervious;{impervious})
                                                                                    (PP (P-ROLE to;{to})
                                                                                        (NP (NLYR (NLYR (NS gases;{gas}))
                                                                                                  (CONJP (CONJ and;{and})
                                                                                                         (NLYR (ADJP (ADJ liquid;{liquid}))
                                                                                                               (N sodium;{sodium}))))))))))))
                                    (CONJP (CONJ and;{and})
                                           (ILYR (NP-SBJ (RPRO which;{which}))
                                                 (BEP;_cat_VePASS_ is;{be})
                                                 (IP-PPL-CAT (ILYR (CONJ neither;{neither})
                                                                   (ILYR (VVN;_Tn_ corroded;{corrode})
                                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                 (NP (N sodium;{sodium}))))
                                                                   (CONJP (CONJ nor;{nor})
                                                                          (ILYR (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                        (NP (N sodium;{sodium})
                                                                                            (N monoxide;{monoxide})))))))))))))
          (PUNC .))
  (ID 50_a_lob_j01))