TSPC 17_a_seiko

17_a_seiko_9r65
Amazing mechanism created by high quality workmanship, and admiration goes to skilled craftsmen with passion.

( (IP-MAT (ILYR (ILYR (NP-PRD (ADJP (ADJ Amazing;{amazing}))
                              (N mechanism;{mechanism})
                              (IP-PPL (VVN;_Tn_ created;{create})
                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                              (NP (ADJP (ADJ high;{high}))
                                                  (N quality;{quality})
                                                  (N workmanship;{workmanship}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (N admiration;{admiration}))
                             (VBP;_Ipr_ goes;{go[to]})
                             (PP-CLR (P-ROLE to;{to})
                                     (NP (ADJP (ADJ skilled;{skilled}))
                                         (NS craftsmen;{craftsman})
                                         (PP (P-ROLE with;{with})
                                             (NP (N passion;{passion}))))))))
          (PUNC .))
  (ID 17_a_seiko_9r65))

arc(r_0017_0002__mechanism,r_0017_0001__Amazing,attrib).
arc(r_0017_0003__created,r_0017_0002__mechanism,inv_arg1).
arc(r_0017_0003__created,r_0017_0006__quality_r_0017_0007__workmanship,r_0017_0004__by_arg0).
arc(r_0017_0006__quality_r_0017_0007__workmanship,r_0017_0005__high,attrib).
arc(r_0017_0009__and,r_0017_0011__goes_r_0017_0012__to,conj2).
arc(r_0017_0009__and,z_0017_5006,conj1).
arc(r_0017_0011__goes_r_0017_0012__to,r_0017_0010__admiration,arg0).
arc(r_0017_0011__goes_r_0017_0012__to,r_0017_0014__craftsmen,arg1).
arc(r_0017_0014__craftsmen,r_0017_0013__skilled,attrib).
arc(r_0017_0014__craftsmen,r_0017_0016__passion,r_0017_0015__with).
arc(z_0017_5006,r_0017_0002__mechanism,prd).

fof(formula,axiom,
    ? [R_0017_0010__ADMIRATION,R_0017_0013__SKILLED,R_0017_0016__PASSION,R_0017_0014__CRAFTSMEN,R_0017_0011__GOES_R_0017_0012__TO,R_0017_0001__AMAZING,R_0017_0005__HIGH,R_0017_0006__QUALITY_R_0017_0007__WORKMANSHIP,R_0017_0003__CREATED,R_0017_0002__MECHANISM,Z_0017_5006,R_0017_0009__AND] :
      ( r_0017_0001__Amazing(R_0017_0001__AMAZING)
      & r_0017_0005__high(R_0017_0005__HIGH)
      & r_0017_0010__admiration(R_0017_0010__ADMIRATION)
      & r_0017_0013__skilled(R_0017_0013__SKILLED)
      & r_0017_0016__passion(R_0017_0016__PASSION)
      & r_0017_0009__and(R_0017_0009__AND)
      & has_conj1(R_0017_0009__AND,Z_0017_5006)
      & z_0017_5006(Z_0017_5006)
      & has_prd(Z_0017_5006,R_0017_0002__MECHANISM)
      & r_0017_0002__mechanism(R_0017_0002__MECHANISM)
      & has_inv_arg1(R_0017_0002__MECHANISM,R_0017_0003__CREATED)
      & r_0017_0003__created(R_0017_0003__CREATED)
      & has_r_0017_0004__by_arg0(R_0017_0003__CREATED,R_0017_0006__QUALITY_R_0017_0007__WORKMANSHIP)
      & r_0017_0006__quality_r_0017_0007__workmanship(R_0017_0006__QUALITY_R_0017_0007__WORKMANSHIP)
      & has_attrib(R_0017_0006__QUALITY_R_0017_0007__WORKMANSHIP,R_0017_0005__HIGH)
      & has_attrib(R_0017_0002__MECHANISM,R_0017_0001__AMAZING)
      & has_conj2(R_0017_0009__AND,R_0017_0011__GOES_R_0017_0012__TO)
      & r_0017_0011__goes_r_0017_0012__to(R_0017_0011__GOES_R_0017_0012__TO)
      & has_arg1(R_0017_0011__GOES_R_0017_0012__TO,R_0017_0014__CRAFTSMEN)
      & r_0017_0014__craftsmen(R_0017_0014__CRAFTSMEN)
      & has_r_0017_0015__with(R_0017_0014__CRAFTSMEN,R_0017_0016__PASSION)
      & has_attrib(R_0017_0014__CRAFTSMEN,R_0017_0013__SKILLED)
      & has_arg0(R_0017_0011__GOES_R_0017_0012__TO,R_0017_0010__ADMIRATION) ) ).