TSPC 72_a_lob

72_a_lob_j01
Such containment however, will be complicated by the necessity of providing suitable insulating seals through its walls.

arc(r_0072_0002__containment, r_0072_0001__Such, attrib3).
arc(r_0072_0005__will, r_0072_0003__however, nim8).
arc(r_0072_0005__will, r_0072_0006__be, scope).
arc(r_0072_0006__be, r_0072_0007__complicated, scope).
arc(r_0072_0007__complicated, r_0072_0002__containment, arg1).
arc(r_0072_0007__complicated, r_0072_0009__the_r_0072_0010__necessity, arg0).
arc(r_0072_0009__the_r_0072_0010__necessity, r_0072_0012__providing, r_0072_0011__of).
arc(r_0072_0012__providing, r_0072_0014__insulating_r_0072_0015__seals, arg1).
arc(r_0072_0012__providing, r_0072_0018__walls, r_0072_0016__through_nim46).
arc(r_0072_0012__providing, z_000_72_a_lob_j01_32, arg0).
arc(r_0072_0014__insulating_r_0072_0015__seals, r_0072_0013__suitable, attrib36).
arc(r_0072_0018__walls, r_0072_0002__containment, gen).

fof(formula,axiom,
    ? [R_0072_0003__HOWEVER,R_0072_0001__SUCH,R_0072_0002__CONTAINMENT,R_0072_0013__SUITABLE,R_0072_0014__INSULATING_R_0072_0015__SEALS,R_0072_0018__WALLS,Z_000_72_A_LOB_J01_32,R_0072_0012__PROVIDING,R_0072_0009__THE_R_0072_0010__NECESSITY,R_0072_0005__WILL_R_0072_0006__BE_R_0072_0007__COMPLICATED] :
      ( r_0072_0001__Such(R_0072_0001__SUCH)
      & r_0072_0003__however(R_0072_0003__HOWEVER)
      & r_0072_0013__suitable(R_0072_0013__SUITABLE)
      & z_000_72_a_lob_j01_32(Z_000_72_A_LOB_J01_32)
      & r_0072_0005__will_r_0072_0006__be_r_0072_0007__complicated(R_0072_0005__WILL_R_0072_0006__BE_R_0072_0007__COMPLICATED)
      & has_arg0(R_0072_0005__WILL_R_0072_0006__BE_R_0072_0007__COMPLICATED,R_0072_0009__THE_R_0072_0010__NECESSITY)
      & r_0072_0009__the_r_0072_0010__necessity(R_0072_0009__THE_R_0072_0010__NECESSITY)
      & has_r_0072_0011__of(R_0072_0009__THE_R_0072_0010__NECESSITY,R_0072_0012__PROVIDING)
      & r_0072_0012__providing(R_0072_0012__PROVIDING)
      & has_arg0(R_0072_0012__PROVIDING,Z_000_72_A_LOB_J01_32)
      & has_r_0072_0016__through_nim46(R_0072_0012__PROVIDING,R_0072_0018__WALLS)
      & r_0072_0018__walls(R_0072_0018__WALLS)
      & has_gen(R_0072_0018__WALLS,R_0072_0002__CONTAINMENT)
      & r_0072_0002__containment(R_0072_0002__CONTAINMENT)
      & has_attrib3(R_0072_0002__CONTAINMENT,R_0072_0001__SUCH)
      & has_arg1(R_0072_0012__PROVIDING,R_0072_0014__INSULATING_R_0072_0015__SEALS)
      & r_0072_0014__insulating_r_0072_0015__seals(R_0072_0014__INSULATING_R_0072_0015__SEALS)
      & has_attrib36(R_0072_0014__INSULATING_R_0072_0015__SEALS,R_0072_0013__SUITABLE)
      & has_arg1(R_0072_0005__WILL_R_0072_0006__BE_R_0072_0007__COMPLICATED,R_0072_0002__CONTAINMENT)
      & has_nim8(R_0072_0005__WILL_R_0072_0006__BE_R_0072_0007__COMPLICATED,R_0072_0003__HOWEVER) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ;_such_ Such;{such}))
                  (N containment;{containment}))
          (ADVP-NIM (ADV however;{however}))
          (PUNC ,)
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (VVN;__ complicated;{complicate})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D the;{the})
                                              (N necessity;{necessity})
                                              (PP (P-ROLE of;{of})
                                                  (IP-PPL (VAG;__ providing;{provide})
                                                          (NP-OB1 (ADJP (ADJ suitable;{suitable}))
                                                                  (N insulating;{insulating})
                                                                  (NS seals;{seal}))
                                                          (PP-NIM (P-ROLE through;{through})
                                                                  (NP (NP-GEN (PRO;_genm_ its;{its}))
                                                                      (NS walls;{wall})))))))))
          (PUNC .))
  (ID 72_a_lob_j01))