arc(r_0007_0004__history, r_0007_0001__Grand_r_0007_0002__Seiko_r_0007_0003___apos_s, gen).
arc(r_0007_0005__symbolizes, r_0007_0004__history, arg0).
arc(r_0007_0005__symbolizes, r_0007_0006__the_r_0007_0007__culmination, arg1).
arc(r_0007_0006__the_r_0007_0007__culmination, r_0007_0010__and, r_0007_0008__of).
arc(r_0007_0010__and, r_0007_0009__efforts, conj1).
arc(r_0007_0010__and, r_0007_0011__development, conj2).
arc(r_0007_0012__aiming, r_0007_0010__and, arg0).
arc(r_0007_0012__aiming, r_0007_0016__watches, r_0007_0013__for_clr39).
arc(r_0007_0016__watches, r_0007_0014__better, attrib40).
arc(r_0007_0016__watches, r_0007_0015__practical, attrib43).

fof(formula,axiom,
    ? [R_7_5_SYMBOLIZES,R_7_4_HISTORY,R_7_1_GRAND_SEIKO_APOS_S,R_7_6_THE_CULMINATION,R_7_12_AIMING,R_7_10_AND,R_7_9_EFFORTS,R_7_11_DEVELOPMENT,R_7_16_WATCHES,R_7_14_BETTER,R_7_15_PRACTICAL] :
      ( grand_Seiko_apos_s(R_7_1_GRAND_SEIKO_APOS_S)
      & efforts(R_7_9_EFFORTS)
      & development(R_7_11_DEVELOPMENT)
      & better(R_7_14_BETTER)
      & practical(R_7_15_PRACTICAL)
      & symbolizes(R_7_5_SYMBOLIZES,R_7_4_HISTORY,R_7_6_THE_CULMINATION)
      & history(R_7_4_HISTORY)
      & gen(R_7_4_HISTORY,R_7_1_GRAND_SEIKO_APOS_S)
      & the_culmination(R_7_6_THE_CULMINATION)
      & of(R_7_6_THE_CULMINATION,R_7_10_AND)
      & and(R_7_10_AND)
      & conj1(R_7_10_AND,R_7_9_EFFORTS)
      & conj2(R_7_10_AND,R_7_11_DEVELOPMENT)
      & aiming(R_7_12_AIMING,R_7_10_AND)
      & for_clr39(R_7_12_AIMING,R_7_16_WATCHES)
      & watches(R_7_16_WATCHES)
      & attrib40(R_7_16_WATCHES,R_7_14_BETTER)
      & attrib43(R_7_16_WATCHES,R_7_15_PRACTICAL) ) ).

( (IP-MAT (NP-SBJ (NP-GEN (NPR Grand;{Grand})
                          (NPR Seiko;{Seiko})
                          (GENM <apos>s))
                  (N history;{history}))
          (VBP;_Tn_ symbolizes;{symbolize})
          (NP-OB1 (D the;{the})
                  (N culmination;{culmination})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR (NS efforts;{effort}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (N development;{development}))))
                          (IP-PPL (VAG;_Ipr_ aiming;{aim[for]})
                                  (PP-CLR (P-ROLE for;{for})
                                          (NP (ADJP (ADJR better;{good}))
                                              (ADJP (ADJ practical;{practical}))
                                              (NS watches;{watch})))))))
          (PUNC .))
  (ID 7_a_seiko_9r65))