TSPC 7_a_seiko

7_a_seiko_9r65
Grand Seiko's history symbolizes the culmination of efforts and development aiming for better practical watches.

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_0007_0001__GRAND_R_0007_0002__SEIKO_R_0007_0003___APOS_S,R_0007_0004__HISTORY,R_0007_0009__EFFORTS,R_0007_0011__DEVELOPMENT,R_0007_0010__AND,R_0007_0006__THE_R_0007_0007__CULMINATION,R_0007_0005__SYMBOLIZES,R_0007_0014__BETTER,R_0007_0015__PRACTICAL,R_0007_0016__WATCHES,R_0007_0012__AIMING] :
      ( r_0007_0001__Grand_r_0007_0002__Seiko_r_0007_0003___apos_s(R_0007_0001__GRAND_R_0007_0002__SEIKO_R_0007_0003___APOS_S)
      & r_0007_0009__efforts(R_0007_0009__EFFORTS)
      & r_0007_0011__development(R_0007_0011__DEVELOPMENT)
      & r_0007_0014__better(R_0007_0014__BETTER)
      & r_0007_0015__practical(R_0007_0015__PRACTICAL)
      & r_0007_0012__aiming(R_0007_0012__AIMING)
      & has_r_0007_0013__for_clr39(R_0007_0012__AIMING,R_0007_0016__WATCHES)
      & r_0007_0016__watches(R_0007_0016__WATCHES)
      & has_attrib43(R_0007_0016__WATCHES,R_0007_0015__PRACTICAL)
      & has_attrib40(R_0007_0016__WATCHES,R_0007_0014__BETTER)
      & has_arg0(R_0007_0012__AIMING,R_0007_0010__AND)
      & r_0007_0010__and(R_0007_0010__AND)
      & has_conj2(R_0007_0010__AND,R_0007_0011__DEVELOPMENT)
      & has_conj1(R_0007_0010__AND,R_0007_0009__EFFORTS)
      & r_0007_0005__symbolizes(R_0007_0005__SYMBOLIZES)
      & has_arg1(R_0007_0005__SYMBOLIZES,R_0007_0006__THE_R_0007_0007__CULMINATION)
      & r_0007_0006__the_r_0007_0007__culmination(R_0007_0006__THE_R_0007_0007__CULMINATION)
      & has_r_0007_0008__of(R_0007_0006__THE_R_0007_0007__CULMINATION,R_0007_0010__AND)
      & has_arg0(R_0007_0005__SYMBOLIZES,R_0007_0004__HISTORY)
      & r_0007_0004__history(R_0007_0004__HISTORY)
      & has_gen(R_0007_0004__HISTORY,R_0007_0001__GRAND_R_0007_0002__SEIKO_R_0007_0003___APOS_S) ) ).

( (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))