( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NS parts;{part})
                                   (PP (P-ROLE such_as;{such_as})
                                       (NP (D the;{the})
                                           (N gasket;{gasket}))))
                           (MD;_cat_Vi_ may;{may})
                           (IP-INF-CAT (VB;_I_ deteriorate;{deteriorate}))))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ water_<hyphen>_resistant;{water_resistant}))
                  (N performance;{performance}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ impaired;{impaired}))
                      (PP-NIM (P-ROLE due_to;{due_to})
                              (NP (N intrusion;{intrusion})
                                  (PP (P-ROLE of;{of})
                                      (NP (NLYR (NLYR (N perspiration;{perspiration}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N moisture;{moisture})))))))))
          (PUNC .))
  (ID 90_a_seiko_9r65))

arc(r_0090_0001__As,r_0090_0007__may,restriction).
arc(r_0090_0001__As,r_0090_0012__may,scope).
arc(r_0090_0002__the_r_0090_0003__parts,r_0090_0005__the_r_0090_0006__gasket,r_0090_0004__such_as).
arc(r_0090_0007__may,r_0090_0008__deteriorate,scope).
arc(r_0090_0008__deteriorate,r_0090_0002__the_r_0090_0003__parts,arg0).
arc(r_0090_0011__performance,r_0090_0010__water__hyphen__resistant,attrib).
arc(r_0090_0012__may,r_0090_0013__be,scope).
arc(r_0090_0013__be,r_0090_0011__performance,arg0).
arc(r_0090_0013__be,r_0090_0014__impaired,prd).
arc(r_0090_0013__be,r_0090_0016__intrusion,r_0090_0015__due_to__nim).
arc(r_0090_0016__intrusion,r_0090_0019__and,r_0090_0017__of).
arc(r_0090_0019__and,r_0090_0018__perspiration,conj1).
arc(r_0090_0019__and,r_0090_0020__moisture,conj2).

fof(formula,axiom,
    ? [R_0090_0005__THE_R_0090_0006__GASKET,R_0090_0002__THE_R_0090_0003__PARTS,R_0090_0007__MAY_R_0090_0008__DETERIORATE,R_0090_0010__WATER__HYPHEN__RESISTANT,R_0090_0011__PERFORMANCE,R_0090_0014__IMPAIRED,R_0090_0018__PERSPIRATION,R_0090_0020__MOISTURE,R_0090_0019__AND,R_0090_0016__INTRUSION,R_0090_0012__MAY_R_0090_0013__BE,R_0090_0001__AS] :
      ( r_0090_0005__the_r_0090_0006__gasket(R_0090_0005__THE_R_0090_0006__GASKET)
      & r_0090_0010__water__hyphen__resistant(R_0090_0010__WATER__HYPHEN__RESISTANT)
      & r_0090_0014__impaired(R_0090_0014__IMPAIRED)
      & r_0090_0018__perspiration(R_0090_0018__PERSPIRATION)
      & r_0090_0020__moisture(R_0090_0020__MOISTURE)
      & r_0090_0001__As(R_0090_0001__AS)
      & has_conj2(R_0090_0001__AS,R_0090_0012__MAY_R_0090_0013__BE)
      & r_0090_0012__may_r_0090_0013__be(R_0090_0012__MAY_R_0090_0013__BE)
      & has_r_0090_0015__due_to__nim(R_0090_0012__MAY_R_0090_0013__BE,R_0090_0016__INTRUSION)
      & r_0090_0016__intrusion(R_0090_0016__INTRUSION)
      & has_r_0090_0017__of(R_0090_0016__INTRUSION,R_0090_0019__AND)
      & r_0090_0019__and(R_0090_0019__AND)
      & has_conj2(R_0090_0019__AND,R_0090_0020__MOISTURE)
      & has_conj1(R_0090_0019__AND,R_0090_0018__PERSPIRATION)
      & has_prd(R_0090_0012__MAY_R_0090_0013__BE,R_0090_0014__IMPAIRED)
      & has_arg0(R_0090_0012__MAY_R_0090_0013__BE,R_0090_0011__PERFORMANCE)
      & r_0090_0011__performance(R_0090_0011__PERFORMANCE)
      & has_attrib(R_0090_0011__PERFORMANCE,R_0090_0010__WATER__HYPHEN__RESISTANT)
      & has_conj1(R_0090_0001__AS,R_0090_0007__MAY_R_0090_0008__DETERIORATE)
      & r_0090_0007__may_r_0090_0008__deteriorate(R_0090_0007__MAY_R_0090_0008__DETERIORATE)
      & has_arg0(R_0090_0007__MAY_R_0090_0008__DETERIORATE,R_0090_0002__THE_R_0090_0003__PARTS)
      & r_0090_0002__the_r_0090_0003__parts(R_0090_0002__THE_R_0090_0003__PARTS)
      & has_r_0090_0004__such_as(R_0090_0002__THE_R_0090_0003__PARTS,R_0090_0005__THE_R_0090_0006__GASKET) ) ).