( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N watch;{watch})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (VBP;_Tn_ creates;{create})
                          (NP-OB1;{LIFESTYLE} (D a;{a})
                                              (N lifestyle;{lifestyle})
                                              (PP (P-ROLE for;{for})
                                                  (NP;{PERSONS} (ADJP (ADJ modern;{modern}))
                                                                (NS individuals;{individual})
                                                                (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                        (VBP;_Tn_ seek;{seek})
                                                                        (NP-OB1 (NLYR (NLYR (N affluence;{affluence}))
                                                                                      (CONJP (CONJ and;{and})
                                                                                             (NLYR (N convenience;{convenience}))))
                                                                                (PP (P-ROLE in;{in})
                                                                                    (NP (NP-GEN;{PERSONS} (PRO;_genm_ their;{their}))
                                                                                        (N life;{life}))))))))))
          (PUNC .))
  (ID 5_a_seiko_9r65))

arc(r_0005_0002__is,r_0005_0001__This,arg0).
arc(r_0005_0002__is,r_0005_0003__a_r_0005_0004__watch,prd).
arc(r_0005_0006__creates,r_0005_0003__a_r_0005_0004__watch,inv_arg0).
arc(r_0005_0006__creates,r_0005_0007__a_r_0005_0008__lifestyle,arg1).
arc(r_0005_0007__a_r_0005_0008__lifestyle,r_0005_0011__individuals,r_0005_0009__for).
arc(r_0005_0011__individuals,r_0005_0010__modern,attrib).
arc(r_0005_0013__seek,r_0005_0011__individuals,arg0).
arc(r_0005_0013__seek,r_0005_0015__and,arg1).
arc(r_0005_0015__and,r_0005_0014__affluence,conj1).
arc(r_0005_0015__and,r_0005_0016__convenience,conj2).
arc(r_0005_0015__and,r_0005_0019__life,r_0005_0017__in).
arc(r_0005_0019__life,r_0005_0011__individuals,gen).

fof(formula,axiom,
    ? [R_0005_0001__THIS,R_0005_0010__MODERN,R_0005_0011__INDIVIDUALS,R_0005_0007__A_R_0005_0008__LIFESTYLE,R_0005_0006__CREATES,R_0005_0003__A_R_0005_0004__WATCH,R_0005_0002__IS,R_0005_0014__AFFLUENCE,R_0005_0016__CONVENIENCE,R_0005_0019__LIFE,R_0005_0015__AND,R_0005_0013__SEEK] :
      ( r_0005_0001__This(R_0005_0001__THIS)
      & r_0005_0010__modern(R_0005_0010__MODERN)
      & r_0005_0014__affluence(R_0005_0014__AFFLUENCE)
      & r_0005_0016__convenience(R_0005_0016__CONVENIENCE)
      & r_0005_0013__seek(R_0005_0013__SEEK)
      & has_arg1(R_0005_0013__SEEK,R_0005_0015__AND)
      & r_0005_0015__and(R_0005_0015__AND)
      & has_r_0005_0017__in(R_0005_0015__AND,R_0005_0019__LIFE)
      & r_0005_0019__life(R_0005_0019__LIFE)
      & has_gen(R_0005_0019__LIFE,R_0005_0011__INDIVIDUALS)
      & r_0005_0011__individuals(R_0005_0011__INDIVIDUALS)
      & has_attrib(R_0005_0011__INDIVIDUALS,R_0005_0010__MODERN)
      & has_conj2(R_0005_0015__AND,R_0005_0016__CONVENIENCE)
      & has_conj1(R_0005_0015__AND,R_0005_0014__AFFLUENCE)
      & has_arg0(R_0005_0013__SEEK,R_0005_0011__INDIVIDUALS)
      & r_0005_0002__is(R_0005_0002__IS)
      & has_prd(R_0005_0002__IS,R_0005_0003__A_R_0005_0004__WATCH)
      & r_0005_0003__a_r_0005_0004__watch(R_0005_0003__A_R_0005_0004__WATCH)
      & has_inv_arg0(R_0005_0003__A_R_0005_0004__WATCH,R_0005_0006__CREATES)
      & r_0005_0006__creates(R_0005_0006__CREATES)
      & has_arg1(R_0005_0006__CREATES,R_0005_0007__A_R_0005_0008__LIFESTYLE)
      & r_0005_0007__a_r_0005_0008__lifestyle(R_0005_0007__A_R_0005_0008__LIFESTYLE)
      & has_r_0005_0009__for(R_0005_0007__A_R_0005_0008__LIFESTYLE,R_0005_0011__INDIVIDUALS)
      & has_arg0(R_0005_0002__IS,R_0005_0001__THIS) ) ).