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_0013__reason, nim36).
arc(r_0071_0017__should, z_000_71_a_lob_j01_54, scope).
arc(r_0071_0018__not, r_0071_0017__should, keep_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_71_6_HOWEVER,R_71_2_THE_FACE] :
      ( however(R_71_6_HOWEVER)
      & the_face(R_71_2_THE_FACE)
      & ( ~ ? [R_71_13_REASON] :
              ( reason(R_71_13_REASON)
              & ? [Z_71_A_LOB_J01_54,R_71_21_TO_PREVENT,R_71_23_LOSS,R_71_25_SODIUM,R_71_27_THE_EVENT,R_71_33_BEING_FRACTURED,Z_71_A_LOB_J01_92,R_71_30_THE_TUBE,R_71_31_CERAMIC,R_71_19_BE,R_71_15_THE_CELL,R_71_20_DOUBLE_HYPHEN_CONTAINED] :
                  ( sodium(R_71_25_SODIUM)
                  & ceramic(R_71_31_CERAMIC)
                  & the_cell(R_71_15_THE_CELL)
                  & double_hyphen_contained(R_71_20_DOUBLE_HYPHEN_CONTAINED)
                  & z_71_a_lob_j01_54(Z_71_A_LOB_J01_54)
                  & conj1(Z_71_A_LOB_J01_54,R_71_21_TO_PREVENT)
                  & to_prevent(R_71_21_TO_PREVENT,R_71_15_THE_CELL,R_71_23_LOSS)
                  & loss(R_71_23_LOSS)
                  & of(R_71_23_LOSS,R_71_25_SODIUM)
                  & in(R_71_23_LOSS,R_71_27_THE_EVENT)
                  & the_event(R_71_27_THE_EVENT)
                  & of(R_71_27_THE_EVENT,R_71_33_BEING_FRACTURED)
                  & being_fractured(R_71_33_BEING_FRACTURED,Z_71_A_LOB_J01_92,R_71_30_THE_TUBE)
                  & the_tube(R_71_30_THE_TUBE)
                  & attrib84(R_71_30_THE_TUBE,R_71_31_CERAMIC)
                  & conj2(Z_71_A_LOB_J01_54,R_71_19_BE)
                  & be(R_71_19_BE,R_71_15_THE_CELL,R_71_20_DOUBLE_HYPHEN_CONTAINED) ) )
       => ? [R_71_10_TO_BE,R_71_13_REASON] :
            ( reason(R_71_13_REASON)
            & to_be(R_71_10_TO_BE,R_71_13_REASON) ) ) ) ).

( (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))