arc(r_0017_0002__mechanism, r_0017_0001__Amazing, attrib5).
arc(r_0017_0003__created, r_0017_0002__mechanism, arg1).
arc(r_0017_0003__created, r_0017_0006__quality_r_0017_0007__workmanship, arg0).
arc(r_0017_0006__quality_r_0017_0007__workmanship, r_0017_0005__high, attrib17).
arc(r_0017_0009__and, r_0017_0011__goes, conj2).
arc(r_0017_0009__and, z_000_17_a_seiko_9r65_3, conj1).
arc(r_0017_0011__goes, r_0017_0010__admiration, arg0).
arc(r_0017_0011__goes, r_0017_0014__craftsmen, r_0017_0012__to_clr38).
arc(r_0017_0014__craftsmen, r_0017_0013__skilled, attrib39).
arc(r_0017_0014__craftsmen, r_0017_0016__passion, r_0017_0015__with).
arc(z_000_17_a_seiko_9r65_3, r_0017_0002__mechanism, prd).

fof(formula,axiom,
    ? [R_0017_0001__AMAZING,R_0017_0002__MECHANISM,R_0017_0005__HIGH,R_0017_0006__QUALITY_R_0017_0007__WORKMANSHIP,R_0017_0003__CREATED,R_0017_0010__ADMIRATION,R_0017_0013__SKILLED,R_0017_0016__PASSION,R_0017_0014__CRAFTSMEN,R_0017_0011__GOES,Z_000_17_A_SEIKO_9R65_3,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_000_17_A_SEIKO_9R65_3)
      & z_000_17_a_seiko_9r65_3(Z_000_17_A_SEIKO_9R65_3)
      & has_prd(Z_000_17_A_SEIKO_9R65_3,R_0017_0002__MECHANISM)
      & r_0017_0002__mechanism(R_0017_0002__MECHANISM)
      & has_attrib5(R_0017_0002__MECHANISM,R_0017_0001__AMAZING)
      & has_conj2(R_0017_0009__AND,R_0017_0011__GOES)
      & r_0017_0011__goes(R_0017_0011__GOES)
      & has_r_0017_0012__to_clr38(R_0017_0011__GOES,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_attrib39(R_0017_0014__CRAFTSMEN,R_0017_0013__SKILLED)
      & has_arg0(R_0017_0011__GOES,R_0017_0010__ADMIRATION)
      & r_0017_0003__created(R_0017_0003__CREATED)
      & has_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_attrib17(R_0017_0006__QUALITY_R_0017_0007__WORKMANSHIP,R_0017_0005__HIGH)
      & has_arg1(R_0017_0003__CREATED,R_0017_0002__MECHANISM) ) ).

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