Context                Previous, Next                Top


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.

%3 r_0050_0004__is is r_0050_0001__The_r_0050_0002__first_r_0050_0003__requirement The first requirement r_0050_0004__is->r_0050_0001__The_r_0050_0002__first_r_0050_0003__requirement [arg0] r_0050_0006__an_r_0050_0008__electrolyte an electrolyte r_0050_0004__is->r_0050_0006__an_r_0050_0008__electrolyte for [clr] r_0050_0007__anionic anionic r_0050_0006__an_r_0050_0008__electrolyte->r_0050_0007__anionic [attrib] r_0050_0011__can can r_0050_0012__be be r_0050_0011__can->r_0050_0012__be [scope] r_0050_0013__fabricated fabricated r_0050_0012__be->r_0050_0013__fabricated [scope] r_0050_0013__fabricated->r_0050_0006__an_r_0050_0008__electrolyte [arg1] r_0050_0016__shapes shapes r_0050_0013__fabricated->r_0050_0016__shapes into [nim] z_000_50_a_lob_j01_36 r_0050_0013__fabricated->z_000_50_a_lob_j01_36 [arg0] r_0050_0015__suitable suitable r_0050_0016__shapes->r_0050_0015__suitable [attrib] r_0050_0017__impervious impervious r_0050_0016__shapes->r_0050_0017__impervious [attrib] r_0050_0020__and and r_0050_0017__impervious->r_0050_0020__and to r_0050_0019__gases gases r_0050_0020__and->r_0050_0019__gases [conj1] r_0050_0022__sodium sodium r_0050_0020__and->r_0050_0022__sodium [conj2] r_0050_0021__liquid liquid r_0050_0022__sodium->r_0050_0021__liquid [attrib] r_0050_0023__and and r_0050_0023__and->r_0050_0011__can [conj1] r_0050_0025__is is r_0050_0023__and->r_0050_0025__is [conj2] r_0050_0026__neither_r_0050_0030__nor neither nor r_0050_0025__is->r_0050_0026__neither_r_0050_0030__nor [scope] r_0050_0027__corroded corroded r_0050_0026__neither_r_0050_0030__nor->r_0050_0027__corroded [conj1] z_000_50_a_lob_j01_94 r_0050_0026__neither_r_0050_0030__nor->z_000_50_a_lob_j01_94 [conj2] r_0050_0027__corroded->r_0050_0006__an_r_0050_0008__electrolyte [arg1] r_0050_0029__sodium sodium r_0050_0027__corroded->r_0050_0029__sodium [arg0] z_000_50_a_lob_j01_94->r_0050_0006__an_r_0050_0008__electrolyte [arg1] r_0050_0032__sodium_r_0050_0033__monoxide sodium monoxide z_000_50_a_lob_j01_94->r_0050_0032__sodium_r_0050_0033__monoxide [arg0] 
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).


%3 r_0050_0004__is is r_0050_0001__The_r_0050_0002__first_r_0050_0003__requirement The first requirement r_0050_0004__is->r_0050_0001__The_r_0050_0002__first_r_0050_0003__requirement [arg0] r_0050_0006__an_r_0050_0008__electrolyte an electrolyte r_0050_0004__is->r_0050_0006__an_r_0050_0008__electrolyte for [clr] r_0050_0007__anionic anionic r_0050_0006__an_r_0050_0008__electrolyte->r_0050_0007__anionic [attrib] r_0050_0011__can_r_0050_0012__be_r_0050_0013__fabricated can be fabricated r_0050_0011__can_r_0050_0012__be_r_0050_0013__fabricated->r_0050_0006__an_r_0050_0008__electrolyte [arg1] r_0050_0016__shapes shapes r_0050_0011__can_r_0050_0012__be_r_0050_0013__fabricated->r_0050_0016__shapes into [nim] z_000_50_a_lob_j01_36 r_0050_0011__can_r_0050_0012__be_r_0050_0013__fabricated->z_000_50_a_lob_j01_36 [arg0] r_0050_0015__suitable suitable r_0050_0016__shapes->r_0050_0015__suitable [attrib] r_0050_0017__impervious impervious r_0050_0016__shapes->r_0050_0017__impervious [attrib] r_0050_0020__and and r_0050_0017__impervious->r_0050_0020__and to r_0050_0019__gases gases r_0050_0020__and->r_0050_0019__gases [conj1] r_0050_0022__sodium sodium r_0050_0020__and->r_0050_0022__sodium [conj2] r_0050_0021__liquid liquid r_0050_0022__sodium->r_0050_0021__liquid [attrib] r_0050_0023__and and r_0050_0023__and->r_0050_0011__can_r_0050_0012__be_r_0050_0013__fabricated [conj1] r_0050_0025__is is r_0050_0023__and->r_0050_0025__is [conj2] r_0050_0026__neither_r_0050_0030__nor neither nor r_0050_0025__is->r_0050_0026__neither_r_0050_0030__nor [keep_scope] r_0050_0027__corroded corroded r_0050_0026__neither_r_0050_0030__nor->r_0050_0027__corroded [conj1] z_000_50_a_lob_j01_94 r_0050_0026__neither_r_0050_0030__nor->z_000_50_a_lob_j01_94 [conj2] r_0050_0027__corroded->r_0050_0006__an_r_0050_0008__electrolyte [arg1] r_0050_0029__sodium sodium r_0050_0027__corroded->r_0050_0029__sodium [arg0] z_000_50_a_lob_j01_94->r_0050_0006__an_r_0050_0008__electrolyte [arg1] r_0050_0032__sodium_r_0050_0033__monoxide sodium monoxide z_000_50_a_lob_j01_94->r_0050_0032__sodium_r_0050_0033__monoxide [arg0] 
fof(formula,axiom,
    ? [R_50_4_IS,R_50_1_THE_FIRST_REQUIREMENT,R_50_23_AND,R_50_11_CAN_BE_FABRICATED,Z_50_A_LOB_J01_36,R_50_6_AN_ELECTROLYTE,R_50_7_ANIONIC,R_50_16_SHAPES,R_50_15_SUITABLE,R_50_17_IMPERVIOUS,R_50_20_AND,R_50_19_GASES,R_50_22_SODIUM,R_50_21_LIQUID] :
      ( the_first_requirement(R_50_1_THE_FIRST_REQUIREMENT)
      & anionic(R_50_7_ANIONIC)
      & suitable(R_50_15_SUITABLE)
      & gases(R_50_19_GASES)
      & liquid(R_50_21_LIQUID)
      & is(R_50_4_IS,R_50_1_THE_FIRST_REQUIREMENT)
      & for_clr14(R_50_4_IS,R_50_6_AN_ELECTROLYTE)
      & an_electrolyte(R_50_6_AN_ELECTROLYTE)
      & attrib17(R_50_6_AN_ELECTROLYTE,R_50_7_ANIONIC)
      & and(R_50_23_AND)
      & conj1(R_50_23_AND,R_50_11_CAN_BE_FABRICATED)
      & can_be_fabricated(R_50_11_CAN_BE_FABRICATED,Z_50_A_LOB_J01_36,R_50_6_AN_ELECTROLYTE)
      & into_nim43(R_50_11_CAN_BE_FABRICATED,R_50_16_SHAPES)
      & shapes(R_50_16_SHAPES)
      & attrib44(R_50_16_SHAPES,R_50_15_SUITABLE)
      & attrib49(R_50_16_SHAPES,R_50_17_IMPERVIOUS)
      & impervious(R_50_17_IMPERVIOUS)
      & to(R_50_17_IMPERVIOUS,R_50_20_AND)
      & and(R_50_20_AND)
      & conj1(R_50_20_AND,R_50_19_GASES)
      & conj2(R_50_20_AND,R_50_22_SODIUM)
      & sodium(R_50_22_SODIUM)
      & attrib64(R_50_22_SODIUM,R_50_21_LIQUID)
      & conj2(R_50_23_AND,R_50_25_IS)
      & ~ ? [R_50_26_NEITHER_NOR,R_50_27_CORRODED,R_50_29_SODIUM,Z_50_A_LOB_J01_94,R_50_32_SODIUM_MONOXIDE] :
            ( sodium(R_50_29_SODIUM)
            & sodium_monoxide(R_50_32_SODIUM_MONOXIDE)
            & neither_nor(R_50_26_NEITHER_NOR)
            & conj1(R_50_26_NEITHER_NOR,R_50_27_CORRODED)
            & corroded(R_50_27_CORRODED,R_50_29_SODIUM,R_50_6_AN_ELECTROLYTE)
            & conj2(R_50_26_NEITHER_NOR,Z_50_A_LOB_J01_94)
            & z_50_a_lob_j01_94(Z_50_A_LOB_J01_94,R_50_32_SODIUM_MONOXIDE,R_50_6_AN_ELECTROLYTE) ) ) ).


n50_a_lob_j01 n50_a_lob_j01_4 The n50_a_lob_j01_6 first n50_a_lob_j01_8 requirement n50_a_lob_j01_10 is n50_a_lob_j01_13 for n50_a_lob_j01_16 an n50_a_lob_j01_19 anionic n50_a_lob_j01_21 electrolyte n50_a_lob_j01_23 , n50_a_lob_j01_29 which n50_a_lob_j01_31 can n50_a_lob_j01_34 be n50_a_lob_j01_37 * n50_a_lob_j01_39 fabricated n50_a_lob_j01_42 into n50_a_lob_j01_46 suitable n50_a_lob_j01_48 shapes n50_a_lob_j01_51 impervious n50_a_lob_j01_54 to n50_a_lob_j01_59 gases n50_a_lob_j01_62 and n50_a_lob_j01_66 liquid n50_a_lob_j01_68 sodium n50_a_lob_j01_71 and n50_a_lob_j01_75 which n50_a_lob_j01_77 is n50_a_lob_j01_81 neither n50_a_lob_j01_84 corroded n50_a_lob_j01_87 by n50_a_lob_j01_90 sodium n50_a_lob_j01_93 nor n50_a_lob_j01_97 by n50_a_lob_j01_100 sodium n50_a_lob_j01_102 monoxide n50_a_lob_j01_104 . n50_a_lob_j01_1 IP-MAT n50_a_lob_j01_2 NP-SBJ n50_a_lob_j01_1->n50_a_lob_j01_2 n50_a_lob_j01_9 BEP;_Ipr_ n50_a_lob_j01_1->n50_a_lob_j01_9 n50_a_lob_j01_11 PP-CLR n50_a_lob_j01_1->n50_a_lob_j01_11 n50_a_lob_j01_103 PUNC n50_a_lob_j01_1->n50_a_lob_j01_103 n50_a_lob_j01_3 D n50_a_lob_j01_2->n50_a_lob_j01_3 n50_a_lob_j01_5 NUM n50_a_lob_j01_2->n50_a_lob_j01_5 n50_a_lob_j01_7 N n50_a_lob_j01_2->n50_a_lob_j01_7 n50_a_lob_j01_3->n50_a_lob_j01_4 n50_a_lob_j01_5->n50_a_lob_j01_6 n50_a_lob_j01_7->n50_a_lob_j01_8 n50_a_lob_j01_9->n50_a_lob_j01_10 n50_a_lob_j01_12 P-ROLE n50_a_lob_j01_11->n50_a_lob_j01_12 n50_a_lob_j01_14 NP n50_a_lob_j01_11->n50_a_lob_j01_14 n50_a_lob_j01_12->n50_a_lob_j01_13 n50_a_lob_j01_15 D n50_a_lob_j01_14->n50_a_lob_j01_15 n50_a_lob_j01_17 ADJP n50_a_lob_j01_14->n50_a_lob_j01_17 n50_a_lob_j01_20 N n50_a_lob_j01_14->n50_a_lob_j01_20 n50_a_lob_j01_22 PUNC n50_a_lob_j01_14->n50_a_lob_j01_22 n50_a_lob_j01_24 IP-REL n50_a_lob_j01_14->n50_a_lob_j01_24 n50_a_lob_j01_15->n50_a_lob_j01_16 n50_a_lob_j01_18 ADJ n50_a_lob_j01_17->n50_a_lob_j01_18 n50_a_lob_j01_18->n50_a_lob_j01_19 n50_a_lob_j01_20->n50_a_lob_j01_21 n50_a_lob_j01_22->n50_a_lob_j01_23 n50_a_lob_j01_25 ILYR n50_a_lob_j01_24->n50_a_lob_j01_25 n50_a_lob_j01_26 ILYR n50_a_lob_j01_25->n50_a_lob_j01_26 n50_a_lob_j01_69 CONJP n50_a_lob_j01_25->n50_a_lob_j01_69 n50_a_lob_j01_27 NP-SBJ n50_a_lob_j01_26->n50_a_lob_j01_27 n50_a_lob_j01_30 MD;_cat_Vi_ n50_a_lob_j01_26->n50_a_lob_j01_30 n50_a_lob_j01_32 IP-INF-CAT n50_a_lob_j01_26->n50_a_lob_j01_32 n50_a_lob_j01_28 RPRO n50_a_lob_j01_27->n50_a_lob_j01_28 n50_a_lob_j01_28->n50_a_lob_j01_29 n50_a_lob_j01_30->n50_a_lob_j01_31 n50_a_lob_j01_33 BE;_cat_VePASS_ n50_a_lob_j01_32->n50_a_lob_j01_33 n50_a_lob_j01_35 IP-PPL-CAT n50_a_lob_j01_32->n50_a_lob_j01_35 n50_a_lob_j01_33->n50_a_lob_j01_34 n50_a_lob_j01_36 NP-LGS n50_a_lob_j01_35->n50_a_lob_j01_36 n50_a_lob_j01_38 VVN;__ n50_a_lob_j01_35->n50_a_lob_j01_38 n50_a_lob_j01_40 PP-NIM n50_a_lob_j01_35->n50_a_lob_j01_40 n50_a_lob_j01_36->n50_a_lob_j01_37 n50_a_lob_j01_38->n50_a_lob_j01_39 n50_a_lob_j01_41 P-ROLE n50_a_lob_j01_40->n50_a_lob_j01_41 n50_a_lob_j01_43 NP n50_a_lob_j01_40->n50_a_lob_j01_43 n50_a_lob_j01_41->n50_a_lob_j01_42 n50_a_lob_j01_44 ADJP n50_a_lob_j01_43->n50_a_lob_j01_44 n50_a_lob_j01_47 NS n50_a_lob_j01_43->n50_a_lob_j01_47 n50_a_lob_j01_49 ADJP n50_a_lob_j01_43->n50_a_lob_j01_49 n50_a_lob_j01_45 ADJ n50_a_lob_j01_44->n50_a_lob_j01_45 n50_a_lob_j01_45->n50_a_lob_j01_46 n50_a_lob_j01_47->n50_a_lob_j01_48 n50_a_lob_j01_50 ADJ n50_a_lob_j01_49->n50_a_lob_j01_50 n50_a_lob_j01_52 PP n50_a_lob_j01_49->n50_a_lob_j01_52 n50_a_lob_j01_50->n50_a_lob_j01_51 n50_a_lob_j01_53 P-ROLE n50_a_lob_j01_52->n50_a_lob_j01_53 n50_a_lob_j01_55 NP n50_a_lob_j01_52->n50_a_lob_j01_55 n50_a_lob_j01_53->n50_a_lob_j01_54 n50_a_lob_j01_56 NLYR n50_a_lob_j01_55->n50_a_lob_j01_56 n50_a_lob_j01_57 NLYR n50_a_lob_j01_56->n50_a_lob_j01_57 n50_a_lob_j01_60 CONJP n50_a_lob_j01_56->n50_a_lob_j01_60 n50_a_lob_j01_58 NS n50_a_lob_j01_57->n50_a_lob_j01_58 n50_a_lob_j01_58->n50_a_lob_j01_59 n50_a_lob_j01_61 CONJ n50_a_lob_j01_60->n50_a_lob_j01_61 n50_a_lob_j01_63 NLYR n50_a_lob_j01_60->n50_a_lob_j01_63 n50_a_lob_j01_61->n50_a_lob_j01_62 n50_a_lob_j01_64 ADJP n50_a_lob_j01_63->n50_a_lob_j01_64 n50_a_lob_j01_67 N n50_a_lob_j01_63->n50_a_lob_j01_67 n50_a_lob_j01_65 ADJ n50_a_lob_j01_64->n50_a_lob_j01_65 n50_a_lob_j01_65->n50_a_lob_j01_66 n50_a_lob_j01_67->n50_a_lob_j01_68 n50_a_lob_j01_70 CONJ n50_a_lob_j01_69->n50_a_lob_j01_70 n50_a_lob_j01_72 ILYR n50_a_lob_j01_69->n50_a_lob_j01_72 n50_a_lob_j01_70->n50_a_lob_j01_71 n50_a_lob_j01_73 NP-SBJ n50_a_lob_j01_72->n50_a_lob_j01_73 n50_a_lob_j01_76 BEP;_cat_VePASS_ n50_a_lob_j01_72->n50_a_lob_j01_76 n50_a_lob_j01_78 IP-PPL-CAT n50_a_lob_j01_72->n50_a_lob_j01_78 n50_a_lob_j01_74 RPRO n50_a_lob_j01_73->n50_a_lob_j01_74 n50_a_lob_j01_74->n50_a_lob_j01_75 n50_a_lob_j01_76->n50_a_lob_j01_77 n50_a_lob_j01_79 ILYR n50_a_lob_j01_78->n50_a_lob_j01_79 n50_a_lob_j01_80 CONJ n50_a_lob_j01_79->n50_a_lob_j01_80 n50_a_lob_j01_82 ILYR n50_a_lob_j01_79->n50_a_lob_j01_82 n50_a_lob_j01_91 CONJP n50_a_lob_j01_79->n50_a_lob_j01_91 n50_a_lob_j01_80->n50_a_lob_j01_81 n50_a_lob_j01_83 VVN;_Tn_ n50_a_lob_j01_82->n50_a_lob_j01_83 n50_a_lob_j01_85 PP-LGS n50_a_lob_j01_82->n50_a_lob_j01_85 n50_a_lob_j01_83->n50_a_lob_j01_84 n50_a_lob_j01_86 P-ROLE;_lgs_ n50_a_lob_j01_85->n50_a_lob_j01_86 n50_a_lob_j01_88 NP n50_a_lob_j01_85->n50_a_lob_j01_88 n50_a_lob_j01_86->n50_a_lob_j01_87 n50_a_lob_j01_89 N n50_a_lob_j01_88->n50_a_lob_j01_89 n50_a_lob_j01_89->n50_a_lob_j01_90 n50_a_lob_j01_92 CONJ n50_a_lob_j01_91->n50_a_lob_j01_92 n50_a_lob_j01_94 ILYR n50_a_lob_j01_91->n50_a_lob_j01_94 n50_a_lob_j01_92->n50_a_lob_j01_93 n50_a_lob_j01_95 PP-LGS n50_a_lob_j01_94->n50_a_lob_j01_95 n50_a_lob_j01_96 P-ROLE;_lgs_ n50_a_lob_j01_95->n50_a_lob_j01_96 n50_a_lob_j01_98 NP n50_a_lob_j01_95->n50_a_lob_j01_98 n50_a_lob_j01_96->n50_a_lob_j01_97 n50_a_lob_j01_99 N n50_a_lob_j01_98->n50_a_lob_j01_99 n50_a_lob_j01_101 N n50_a_lob_j01_98->n50_a_lob_j01_101 n50_a_lob_j01_99->n50_a_lob_j01_100 n50_a_lob_j01_101->n50_a_lob_j01_102 n50_a_lob_j01_103->n50_a_lob_j01_104 
( (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))