TSPC 71_a_lob

71_a_lob_j01
On the face of it however, there seems to be no reason why the cell should not be double-contained to prevent loss of sodium in the event of the ceramic tube being fractured.

arc(r_0071_0008__there_r_0071_0009__seems, r_0071_0002__the_r_0071_0003__face, r_0071_0001__On_nim5).
arc(r_0071_0008__there_r_0071_0009__seems, r_0071_0006__however, nim16).
arc(r_0071_0008__there_r_0071_0009__seems, r_0071_0012__no_quant, scope).
arc(r_0071_0010__to_r_0071_0011__be, r_0071_0013__reason, arg0).
arc(r_0071_0012__no_quant, r_0071_0010__to_r_0071_0011__be, scope).
arc(r_0071_0012__no_quant, r_0071_0013__reason, restriction).
arc(r_0071_0017__should_r_0071_0018__not, r_0071_0013__reason, nim36).
arc(r_0071_0017__should_r_0071_0018__not, z_000_71_a_lob_j01_54, scope).
arc(r_0071_0019__be, r_0071_0015__the_r_0071_0016__cell, arg0).
arc(r_0071_0019__be, r_0071_0020__double__hyphen__contained, prd).
arc(r_0071_0021__to_r_0071_0022__prevent, r_0071_0015__the_r_0071_0016__cell, arg0).
arc(r_0071_0021__to_r_0071_0022__prevent, r_0071_0023__loss, arg1).
arc(r_0071_0023__loss, r_0071_0025__sodium, r_0071_0024__of).
arc(r_0071_0023__loss, r_0071_0027__the_r_0071_0028__event, r_0071_0026__in).
arc(r_0071_0027__the_r_0071_0028__event, r_0071_0033__being, r_0071_0029__of).
arc(r_0071_0030__the_r_0071_0032__tube, r_0071_0031__ceramic, attrib84).
arc(r_0071_0033__being, r_0071_0034__fractured, scope).
arc(r_0071_0034__fractured, r_0071_0030__the_r_0071_0032__tube, arg1).
arc(r_0071_0034__fractured, z_000_71_a_lob_j01_92, arg0).
arc(z_000_71_a_lob_j01_54, r_0071_0019__be, scope).
arc(z_000_71_a_lob_j01_54, r_0071_0021__to_r_0071_0022__prevent, restriction).

fof(formula,axiom,
    ? [R_0071_0002__THE_R_0071_0003__FACE,R_0071_0006__HOWEVER,R_0071_0008__THERE_R_0071_0009__SEEMS] :
      ( r_0071_0002__the_r_0071_0003__face(R_0071_0002__THE_R_0071_0003__FACE)
      & r_0071_0006__however(R_0071_0006__HOWEVER)
      & r_0071_0008__there_r_0071_0009__seems(R_0071_0008__THERE_R_0071_0009__SEEMS)
      & ! [R_0071_0013__REASON,R_0071_0015__THE_R_0071_0016__CELL,R_0071_0020__DOUBLE__HYPHEN__CONTAINED,R_0071_0019__BE,R_0071_0025__SODIUM,R_0071_0031__CERAMIC,R_0071_0030__THE_R_0071_0032__TUBE,Z_000_71_A_LOB_J01_92,R_0071_0033__BEING_R_0071_0034__FRACTURED,R_0071_0027__THE_R_0071_0028__EVENT,R_0071_0023__LOSS,R_0071_0021__TO_R_0071_0022__PREVENT,Z_000_71_A_LOB_J01_54] :
          ( ( r_0071_0013__reason(R_0071_0013__REASON)
            & r_0071_0015__the_r_0071_0016__cell(R_0071_0015__THE_R_0071_0016__CELL)
            & r_0071_0020__double__hyphen__contained(R_0071_0020__DOUBLE__HYPHEN__CONTAINED)
            & r_0071_0025__sodium(R_0071_0025__SODIUM)
            & r_0071_0031__ceramic(R_0071_0031__CERAMIC)
            & z_000_71_a_lob_j01_92(Z_000_71_A_LOB_J01_92)
            & ~ ( has_keep_scope(R_0071_0017__SHOULD_R_0071_0018__NOT,Z_000_71_A_LOB_J01_54)
                & z_000_71_a_lob_j01_54(Z_000_71_A_LOB_J01_54)
                & has_conj1(Z_000_71_A_LOB_J01_54,R_0071_0021__TO_R_0071_0022__PREVENT)
                & r_0071_0021__to_r_0071_0022__prevent(R_0071_0021__TO_R_0071_0022__PREVENT)
                & has_arg1(R_0071_0021__TO_R_0071_0022__PREVENT,R_0071_0023__LOSS)
                & r_0071_0023__loss(R_0071_0023__LOSS)
                & has_r_0071_0026__in(R_0071_0023__LOSS,R_0071_0027__THE_R_0071_0028__EVENT)
                & r_0071_0027__the_r_0071_0028__event(R_0071_0027__THE_R_0071_0028__EVENT)
                & has_r_0071_0029__of(R_0071_0027__THE_R_0071_0028__EVENT,R_0071_0033__BEING_R_0071_0034__FRACTURED)
                & r_0071_0033__being_r_0071_0034__fractured(R_0071_0033__BEING_R_0071_0034__FRACTURED)
                & has_arg0(R_0071_0033__BEING_R_0071_0034__FRACTURED,Z_000_71_A_LOB_J01_92)
                & has_arg1(R_0071_0033__BEING_R_0071_0034__FRACTURED,R_0071_0030__THE_R_0071_0032__TUBE)
                & r_0071_0030__the_r_0071_0032__tube(R_0071_0030__THE_R_0071_0032__TUBE)
                & has_attrib84(R_0071_0030__THE_R_0071_0032__TUBE,R_0071_0031__CERAMIC)
                & has_r_0071_0024__of(R_0071_0023__LOSS,R_0071_0025__SODIUM)
                & has_arg0(R_0071_0021__TO_R_0071_0022__PREVENT,R_0071_0015__THE_R_0071_0016__CELL)
                & has_conj2(Z_000_71_A_LOB_J01_54,R_0071_0019__BE)
                & r_0071_0019__be(R_0071_0019__BE)
                & has_prd(R_0071_0019__BE,R_0071_0020__DOUBLE__HYPHEN__CONTAINED)
                & has_arg0(R_0071_0019__BE,R_0071_0015__THE_R_0071_0016__CELL)
                & has_nim36(R_0071_0017__SHOULD_R_0071_0018__NOT,R_0071_0013__REASON) ) )
         => ? [R_0071_0010__TO_R_0071_0011__BE] :
              ( r_0071_0010__to_r_0071_0011__be(R_0071_0010__TO_R_0071_0011__BE)
              & has_arg0(R_0071_0010__TO_R_0071_0011__BE,R_0071_0013__REASON) ) )
      & has_nim16(R_0071_0008__THERE_R_0071_0009__SEEMS,R_0071_0006__HOWEVER)
      & has_r_0071_0001__On_nim5(R_0071_0008__THERE_R_0071_0009__SEEMS,R_0071_0002__THE_R_0071_0003__FACE) ) ).

( (IP-MAT (PP-NIM (P-ROLE On;{on})
                  (NP (D the;{the})
                      (N face;{face})
                      (PP (P-ROLE of;{of})
                          (NP (PRO it;{it})))))
          (ADVP-NIM (ADV however;{however}))
          (PUNC ,)
          (EX there;{there})
          (VBP;_cat_Vt_ seems;{seem})
          (IP-INF-CAT (TO to;{to})
                      (BE;_ex_V_ be;{be})
                      (NP-ESBJ (Q no;{no})
                               (N reason;{reason})
                               (IP-REL (ADVP-NIM (RADV why;{why}))
                                       (NP-SBJ (D the;{the})
                                               (N cell;{cell}))
                                       (MD;_cat_Vi_ should;{shall})
                                       (NEG not;{not})
                                       (IP-INF-CAT (BE;_La_ be;{be})
                                                   (ADJP-PRD (ADJ double_<hyphen>_contained;{double_contained}))
                                                   (PP-SCON (IP-INF (TO to;{to})
                                                                    (VB;__ prevent;{prevent})
                                                                    (NP-OB1 (N loss;{loss})
                                                                            (PP (P-ROLE of;{of})
                                                                                (NP (N sodium;{sodium})))
                                                                            (PP (P-ROLE in;{in})
                                                                                (NP (D the;{the})
                                                                                    (N event;{event})
                                                                                    (PP (P-ROLE of;{of})
                                                                                        (IP-PPL3 (NP-SBJ (D the;{the})
                                                                                                         (ADJP (ADJ ceramic;{ceramic}))
                                                                                                         (N tube;{tube}))
                                                                                                 (BAG;_cat_VePASS_ being;{be})
                                                                                                 (IP-PPL-CAT (NP-LGS *)
                                                                                                             (VVN;__ fractured;{fracture})))))))))))))
          (PUNC .))
  (ID 71_a_lob_j01))