Context                Previous, Next                Top


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

%3 r_0072_0002__containment containment r_0072_0001__Such Such r_0072_0002__containment->r_0072_0001__Such [attrib] r_0072_0005__will will r_0072_0003__however however r_0072_0005__will->r_0072_0003__however [nim] r_0072_0006__be be r_0072_0005__will->r_0072_0006__be [scope] r_0072_0007__complicated complicated r_0072_0006__be->r_0072_0007__complicated [scope] r_0072_0007__complicated->r_0072_0002__containment [arg1] r_0072_0009__the_r_0072_0010__necessity the necessity r_0072_0007__complicated->r_0072_0009__the_r_0072_0010__necessity [arg0] r_0072_0012__providing providing r_0072_0009__the_r_0072_0010__necessity->r_0072_0012__providing of r_0072_0014__insulating_r_0072_0015__seals insulating seals r_0072_0012__providing->r_0072_0014__insulating_r_0072_0015__seals [arg1] r_0072_0018__walls walls r_0072_0012__providing->r_0072_0018__walls through [nim] z_000_72_a_lob_j01_32 r_0072_0012__providing->z_000_72_a_lob_j01_32 [arg0] r_0072_0013__suitable suitable r_0072_0014__insulating_r_0072_0015__seals->r_0072_0013__suitable [attrib] r_0072_0018__walls->r_0072_0002__containment [gen] 
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).


%3 r_0072_0018__walls walls r_0072_0002__containment containment r_0072_0018__walls->r_0072_0002__containment [gen] r_0072_0001__Such Such r_0072_0002__containment->r_0072_0001__Such [attrib] r_0072_0014__insulating_r_0072_0015__seals insulating seals r_0072_0013__suitable suitable r_0072_0014__insulating_r_0072_0015__seals->r_0072_0013__suitable [attrib] r_0072_0012__providing providing r_0072_0012__providing->r_0072_0018__walls through [nim] r_0072_0012__providing->r_0072_0014__insulating_r_0072_0015__seals [arg1] z_000_72_a_lob_j01_32 r_0072_0012__providing->z_000_72_a_lob_j01_32 [arg0] r_0072_0009__the_r_0072_0010__necessity the necessity r_0072_0009__the_r_0072_0010__necessity->r_0072_0012__providing of r_0072_0005__will_r_0072_0006__be_r_0072_0007__complicated will be complicated r_0072_0005__will_r_0072_0006__be_r_0072_0007__complicated->r_0072_0002__containment [arg1] r_0072_0005__will_r_0072_0006__be_r_0072_0007__complicated->r_0072_0009__the_r_0072_0010__necessity [arg0] r_0072_0003__however however r_0072_0005__will_r_0072_0006__be_r_0072_0007__complicated->r_0072_0003__however [nim] 
fof(formula,axiom,
    ? [R_72_5_WILL_BE_COMPLICATED,R_72_9_THE_NECESSITY,R_72_12_PROVIDING,Z_72_A_LOB_J01_32,R_72_14_INSULATING_SEALS,R_72_13_SUITABLE,R_72_18_WALLS,R_72_2_CONTAINMENT,R_72_1_SUCH,R_72_3_HOWEVER] :
      ( suitable(R_72_13_SUITABLE)
      & such(R_72_1_SUCH)
      & however(R_72_3_HOWEVER)
      & will_be_complicated(R_72_5_WILL_BE_COMPLICATED,R_72_9_THE_NECESSITY,R_72_2_CONTAINMENT)
      & the_necessity(R_72_9_THE_NECESSITY)
      & of(R_72_9_THE_NECESSITY,R_72_12_PROVIDING)
      & providing(R_72_12_PROVIDING,Z_72_A_LOB_J01_32,R_72_14_INSULATING_SEALS)
      & insulating_seals(R_72_14_INSULATING_SEALS)
      & attrib36(R_72_14_INSULATING_SEALS,R_72_13_SUITABLE)
      & through_nim46(R_72_12_PROVIDING,R_72_18_WALLS)
      & walls(R_72_18_WALLS)
      & gen(R_72_18_WALLS,R_72_2_CONTAINMENT)
      & containment(R_72_2_CONTAINMENT)
      & attrib3(R_72_2_CONTAINMENT,R_72_1_SUCH)
      & nim8(R_72_5_WILL_BE_COMPLICATED,R_72_3_HOWEVER) ) ).


n72_a_lob_j01 n72_a_lob_j01__1_1_1_1_1 Such n72_a_lob_j01__1_1_2_1 containment n72_a_lob_j01__1_2_1_1 however n72_a_lob_j01__1_3_1 , n72_a_lob_j01__1_4_1 will n72_a_lob_j01__1_5_1_1 be n72_a_lob_j01__1_5_2_1_1 complicated n72_a_lob_j01__1_5_2_2_1_1 by n72_a_lob_j01__1_5_2_2_2_1_1 the n72_a_lob_j01__1_5_2_2_2_2_1 necessity n72_a_lob_j01__1_5_2_2_2_3_1_1 of n72_a_lob_j01__1_5_2_2_2_3_2_1_1 providing n72_a_lob_j01__1_5_2_2_2_3_2_2_1_1_1 suitable n72_a_lob_j01__1_5_2_2_2_3_2_2_2_1 insulating n72_a_lob_j01__1_5_2_2_2_3_2_2_3_1 seals n72_a_lob_j01__1_5_2_2_2_3_2_3_1_1 through n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1_1_1 its n72_a_lob_j01__1_5_2_2_2_3_2_3_2_2_1 walls n72_a_lob_j01__1_6_1 . n72_a_lob_j01__1 IP-MAT n72_a_lob_j01__1_1 NP-SBJ n72_a_lob_j01__1->n72_a_lob_j01__1_1 n72_a_lob_j01__1_2 ADVP-NIM n72_a_lob_j01__1->n72_a_lob_j01__1_2 n72_a_lob_j01__1_3 PUNC n72_a_lob_j01__1->n72_a_lob_j01__1_3 n72_a_lob_j01__1_4 MD;_cat_Vi_ n72_a_lob_j01__1->n72_a_lob_j01__1_4 n72_a_lob_j01__1_5 IP-INF-CAT n72_a_lob_j01__1->n72_a_lob_j01__1_5 n72_a_lob_j01__1_6 PUNC n72_a_lob_j01__1->n72_a_lob_j01__1_6 n72_a_lob_j01__1_1_1 ADJP n72_a_lob_j01__1_1->n72_a_lob_j01__1_1_1 n72_a_lob_j01__1_1_2 N n72_a_lob_j01__1_1->n72_a_lob_j01__1_1_2 n72_a_lob_j01__1_1_1_1 ADJ;_such_ n72_a_lob_j01__1_1_1->n72_a_lob_j01__1_1_1_1 n72_a_lob_j01__1_1_1_1->n72_a_lob_j01__1_1_1_1_1 n72_a_lob_j01__1_1_2->n72_a_lob_j01__1_1_2_1 n72_a_lob_j01__1_2_1 ADV n72_a_lob_j01__1_2->n72_a_lob_j01__1_2_1 n72_a_lob_j01__1_2_1->n72_a_lob_j01__1_2_1_1 n72_a_lob_j01__1_3->n72_a_lob_j01__1_3_1 n72_a_lob_j01__1_4->n72_a_lob_j01__1_4_1 n72_a_lob_j01__1_5_1 BE;_cat_VePASS_ n72_a_lob_j01__1_5->n72_a_lob_j01__1_5_1 n72_a_lob_j01__1_5_2 IP-PPL-CAT n72_a_lob_j01__1_5->n72_a_lob_j01__1_5_2 n72_a_lob_j01__1_5_1->n72_a_lob_j01__1_5_1_1 n72_a_lob_j01__1_5_2_1 VVN;__ n72_a_lob_j01__1_5_2->n72_a_lob_j01__1_5_2_1 n72_a_lob_j01__1_5_2_2 PP-LGS n72_a_lob_j01__1_5_2->n72_a_lob_j01__1_5_2_2 n72_a_lob_j01__1_5_2_1->n72_a_lob_j01__1_5_2_1_1 n72_a_lob_j01__1_5_2_2_1 P-ROLE;_lgs_ n72_a_lob_j01__1_5_2_2->n72_a_lob_j01__1_5_2_2_1 n72_a_lob_j01__1_5_2_2_2 NP n72_a_lob_j01__1_5_2_2->n72_a_lob_j01__1_5_2_2_2 n72_a_lob_j01__1_5_2_2_1->n72_a_lob_j01__1_5_2_2_1_1 n72_a_lob_j01__1_5_2_2_2_1 D n72_a_lob_j01__1_5_2_2_2->n72_a_lob_j01__1_5_2_2_2_1 n72_a_lob_j01__1_5_2_2_2_2 N n72_a_lob_j01__1_5_2_2_2->n72_a_lob_j01__1_5_2_2_2_2 n72_a_lob_j01__1_5_2_2_2_3 PP n72_a_lob_j01__1_5_2_2_2->n72_a_lob_j01__1_5_2_2_2_3 n72_a_lob_j01__1_5_2_2_2_1->n72_a_lob_j01__1_5_2_2_2_1_1 n72_a_lob_j01__1_5_2_2_2_2->n72_a_lob_j01__1_5_2_2_2_2_1 n72_a_lob_j01__1_5_2_2_2_3_1 P-ROLE n72_a_lob_j01__1_5_2_2_2_3->n72_a_lob_j01__1_5_2_2_2_3_1 n72_a_lob_j01__1_5_2_2_2_3_2 IP-PPL n72_a_lob_j01__1_5_2_2_2_3->n72_a_lob_j01__1_5_2_2_2_3_2 n72_a_lob_j01__1_5_2_2_2_3_1->n72_a_lob_j01__1_5_2_2_2_3_1_1 n72_a_lob_j01__1_5_2_2_2_3_2_1 VAG;__ n72_a_lob_j01__1_5_2_2_2_3_2->n72_a_lob_j01__1_5_2_2_2_3_2_1 n72_a_lob_j01__1_5_2_2_2_3_2_2 NP-OB1 n72_a_lob_j01__1_5_2_2_2_3_2->n72_a_lob_j01__1_5_2_2_2_3_2_2 n72_a_lob_j01__1_5_2_2_2_3_2_3 PP-NIM n72_a_lob_j01__1_5_2_2_2_3_2->n72_a_lob_j01__1_5_2_2_2_3_2_3 n72_a_lob_j01__1_5_2_2_2_3_2_1->n72_a_lob_j01__1_5_2_2_2_3_2_1_1 n72_a_lob_j01__1_5_2_2_2_3_2_2_1 ADJP n72_a_lob_j01__1_5_2_2_2_3_2_2->n72_a_lob_j01__1_5_2_2_2_3_2_2_1 n72_a_lob_j01__1_5_2_2_2_3_2_2_2 N n72_a_lob_j01__1_5_2_2_2_3_2_2->n72_a_lob_j01__1_5_2_2_2_3_2_2_2 n72_a_lob_j01__1_5_2_2_2_3_2_2_3 NS n72_a_lob_j01__1_5_2_2_2_3_2_2->n72_a_lob_j01__1_5_2_2_2_3_2_2_3 n72_a_lob_j01__1_5_2_2_2_3_2_2_1_1 ADJ n72_a_lob_j01__1_5_2_2_2_3_2_2_1->n72_a_lob_j01__1_5_2_2_2_3_2_2_1_1 n72_a_lob_j01__1_5_2_2_2_3_2_2_1_1->n72_a_lob_j01__1_5_2_2_2_3_2_2_1_1_1 n72_a_lob_j01__1_5_2_2_2_3_2_2_2->n72_a_lob_j01__1_5_2_2_2_3_2_2_2_1 n72_a_lob_j01__1_5_2_2_2_3_2_2_3->n72_a_lob_j01__1_5_2_2_2_3_2_2_3_1 n72_a_lob_j01__1_5_2_2_2_3_2_3_1 P-ROLE n72_a_lob_j01__1_5_2_2_2_3_2_3->n72_a_lob_j01__1_5_2_2_2_3_2_3_1 n72_a_lob_j01__1_5_2_2_2_3_2_3_2 NP n72_a_lob_j01__1_5_2_2_2_3_2_3->n72_a_lob_j01__1_5_2_2_2_3_2_3_2 n72_a_lob_j01__1_5_2_2_2_3_2_3_1->n72_a_lob_j01__1_5_2_2_2_3_2_3_1_1 n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1 NP-GEN n72_a_lob_j01__1_5_2_2_2_3_2_3_2->n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1 n72_a_lob_j01__1_5_2_2_2_3_2_3_2_2 NS n72_a_lob_j01__1_5_2_2_2_3_2_3_2->n72_a_lob_j01__1_5_2_2_2_3_2_3_2_2 n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1_1 PRO;_genm_ n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1->n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1_1 n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1_1->n72_a_lob_j01__1_5_2_2_2_3_2_3_2_1_1_1 n72_a_lob_j01__1_5_2_2_2_3_2_3_2_2->n72_a_lob_j01__1_5_2_2_2_3_2_3_2_2_1 n72_a_lob_j01__1_6->n72_a_lob_j01__1_6_1 
( (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))