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_0002__containment containment r_0072_0001__Such Such r_0072_0002__containment->r_0072_0001__Such [attrib] 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_0003__however however r_0072_0005__will_r_0072_0006__be_r_0072_0007__complicated->r_0072_0003__however [nim] r_0072_0009__the_r_0072_0010__necessity the necessity r_0072_0005__will_r_0072_0006__be_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] 
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_5 Such n72_a_lob_j01_7 containment n72_a_lob_j01_10 however n72_a_lob_j01_12 , n72_a_lob_j01_14 will n72_a_lob_j01_17 be n72_a_lob_j01_20 complicated n72_a_lob_j01_23 by n72_a_lob_j01_26 the n72_a_lob_j01_28 necessity n72_a_lob_j01_31 of n72_a_lob_j01_34 providing n72_a_lob_j01_38 suitable n72_a_lob_j01_40 insulating n72_a_lob_j01_42 seals n72_a_lob_j01_45 through n72_a_lob_j01_49 its n72_a_lob_j01_51 walls n72_a_lob_j01_53 . n72_a_lob_j01_1 IP-MAT n72_a_lob_j01_2 NP-SBJ n72_a_lob_j01_1->n72_a_lob_j01_2 n72_a_lob_j01_8 ADVP-NIM n72_a_lob_j01_1->n72_a_lob_j01_8 n72_a_lob_j01_11 PUNC n72_a_lob_j01_1->n72_a_lob_j01_11 n72_a_lob_j01_13 MD;_cat_Vi_ n72_a_lob_j01_1->n72_a_lob_j01_13 n72_a_lob_j01_15 IP-INF-CAT n72_a_lob_j01_1->n72_a_lob_j01_15 n72_a_lob_j01_52 PUNC n72_a_lob_j01_1->n72_a_lob_j01_52 n72_a_lob_j01_3 ADJP n72_a_lob_j01_2->n72_a_lob_j01_3 n72_a_lob_j01_6 N n72_a_lob_j01_2->n72_a_lob_j01_6 n72_a_lob_j01_4 ADJ;_such_ n72_a_lob_j01_3->n72_a_lob_j01_4 n72_a_lob_j01_4->n72_a_lob_j01_5 n72_a_lob_j01_6->n72_a_lob_j01_7 n72_a_lob_j01_9 ADV n72_a_lob_j01_8->n72_a_lob_j01_9 n72_a_lob_j01_9->n72_a_lob_j01_10 n72_a_lob_j01_11->n72_a_lob_j01_12 n72_a_lob_j01_13->n72_a_lob_j01_14 n72_a_lob_j01_16 BE;_cat_VePASS_ n72_a_lob_j01_15->n72_a_lob_j01_16 n72_a_lob_j01_18 IP-PPL-CAT n72_a_lob_j01_15->n72_a_lob_j01_18 n72_a_lob_j01_16->n72_a_lob_j01_17 n72_a_lob_j01_19 VVN;__ n72_a_lob_j01_18->n72_a_lob_j01_19 n72_a_lob_j01_21 PP-LGS n72_a_lob_j01_18->n72_a_lob_j01_21 n72_a_lob_j01_19->n72_a_lob_j01_20 n72_a_lob_j01_22 P-ROLE;_lgs_ n72_a_lob_j01_21->n72_a_lob_j01_22 n72_a_lob_j01_24 NP n72_a_lob_j01_21->n72_a_lob_j01_24 n72_a_lob_j01_22->n72_a_lob_j01_23 n72_a_lob_j01_25 D n72_a_lob_j01_24->n72_a_lob_j01_25 n72_a_lob_j01_27 N n72_a_lob_j01_24->n72_a_lob_j01_27 n72_a_lob_j01_29 PP n72_a_lob_j01_24->n72_a_lob_j01_29 n72_a_lob_j01_25->n72_a_lob_j01_26 n72_a_lob_j01_27->n72_a_lob_j01_28 n72_a_lob_j01_30 P-ROLE n72_a_lob_j01_29->n72_a_lob_j01_30 n72_a_lob_j01_32 IP-PPL n72_a_lob_j01_29->n72_a_lob_j01_32 n72_a_lob_j01_30->n72_a_lob_j01_31 n72_a_lob_j01_33 VAG;__ n72_a_lob_j01_32->n72_a_lob_j01_33 n72_a_lob_j01_35 NP-OB1 n72_a_lob_j01_32->n72_a_lob_j01_35 n72_a_lob_j01_43 PP-NIM n72_a_lob_j01_32->n72_a_lob_j01_43 n72_a_lob_j01_33->n72_a_lob_j01_34 n72_a_lob_j01_36 ADJP n72_a_lob_j01_35->n72_a_lob_j01_36 n72_a_lob_j01_39 N n72_a_lob_j01_35->n72_a_lob_j01_39 n72_a_lob_j01_41 NS n72_a_lob_j01_35->n72_a_lob_j01_41 n72_a_lob_j01_37 ADJ n72_a_lob_j01_36->n72_a_lob_j01_37 n72_a_lob_j01_37->n72_a_lob_j01_38 n72_a_lob_j01_39->n72_a_lob_j01_40 n72_a_lob_j01_41->n72_a_lob_j01_42 n72_a_lob_j01_44 P-ROLE n72_a_lob_j01_43->n72_a_lob_j01_44 n72_a_lob_j01_46 NP n72_a_lob_j01_43->n72_a_lob_j01_46 n72_a_lob_j01_44->n72_a_lob_j01_45 n72_a_lob_j01_47 NP-GEN n72_a_lob_j01_46->n72_a_lob_j01_47 n72_a_lob_j01_50 NS n72_a_lob_j01_46->n72_a_lob_j01_50 n72_a_lob_j01_48 PRO;_genm_ n72_a_lob_j01_47->n72_a_lob_j01_48 n72_a_lob_j01_48->n72_a_lob_j01_49 n72_a_lob_j01_50->n72_a_lob_j01_51 n72_a_lob_j01_52->n72_a_lob_j01_53 
( (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))