TSPC 7_a_seiko

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

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

arc(r_0007_0004__history,r_0007_0001__Grand_r_0007_0002__Seiko,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_0013__for,r_0007_0010__and,inv_arg0).
arc(r_0007_0012__aiming_r_0007_0013__for,r_0007_0016__watches,arg1).
arc(r_0007_0016__watches,r_0007_0014__better,attrib).
arc(r_0007_0016__watches,r_0007_0015__practical,attrib).

fof(formula,axiom,
    ? [R_0007_0001__GRAND_R_0007_0002__SEIKO,R_0007_0004__HISTORY,R_0007_0009__EFFORTS,R_0007_0011__DEVELOPMENT,R_0007_0014__BETTER,R_0007_0015__PRACTICAL,R_0007_0016__WATCHES,R_0007_0012__AIMING_R_0007_0013__FOR,R_0007_0010__AND,R_0007_0006__THE_R_0007_0007__CULMINATION,R_0007_0005__SYMBOLIZES] :
      ( r_0007_0001__Grand_r_0007_0002__Seiko(R_0007_0001__GRAND_R_0007_0002__SEIKO)
      & 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_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)
      & r_0007_0010__and(R_0007_0010__AND)
      & has_inv_arg0(R_0007_0010__AND,R_0007_0012__AIMING_R_0007_0013__FOR)
      & r_0007_0012__aiming_r_0007_0013__for(R_0007_0012__AIMING_R_0007_0013__FOR)
      & has_arg1(R_0007_0012__AIMING_R_0007_0013__FOR,R_0007_0016__WATCHES)
      & r_0007_0016__watches(R_0007_0016__WATCHES)
      & has_attrib(R_0007_0016__WATCHES,R_0007_0015__PRACTICAL)
      & has_attrib(R_0007_0016__WATCHES,R_0007_0014__BETTER)
      & has_conj2(R_0007_0010__AND,R_0007_0011__DEVELOPMENT)
      & has_conj1(R_0007_0010__AND,R_0007_0009__EFFORTS)
      & 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) ) ).