17_a_seiko_9r65
Amazing mechanism created by high quality workmanship, and admiration goes to skilled craftsmen with passion.
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_17_3_CREATED,R_17_6_QUALITY_WORKMANSHIP,R_17_5_HIGH,R_17_9_AND,Z_17_A_SEIKO_9R65_3,R_17_2_MECHANISM,R_17_1_AMAZING,R_17_11_GOES,R_17_10_ADMIRATION,R_17_14_CRAFTSMEN,R_17_13_SKILLED,R_17_16_PASSION] :
( high(R_17_5_HIGH)
& amazing(R_17_1_AMAZING)
& admiration(R_17_10_ADMIRATION)
& skilled(R_17_13_SKILLED)
& passion(R_17_16_PASSION)
& created(R_17_3_CREATED,R_17_6_QUALITY_WORKMANSHIP,R_17_2_MECHANISM)
& quality_workmanship(R_17_6_QUALITY_WORKMANSHIP)
& attrib17(R_17_6_QUALITY_WORKMANSHIP,R_17_5_HIGH)
& mechanism(R_17_2_MECHANISM)
& attrib5(R_17_2_MECHANISM,R_17_1_AMAZING)
& and(R_17_9_AND)
& conj1(R_17_9_AND,Z_17_A_SEIKO_9R65_3)
& z_17_a_seiko_9r65_3(Z_17_A_SEIKO_9R65_3)
& prd(Z_17_A_SEIKO_9R65_3,R_17_2_MECHANISM)
& conj2(R_17_9_AND,R_17_11_GOES)
& goes(R_17_11_GOES,R_17_10_ADMIRATION)
& to_clr38(R_17_11_GOES,R_17_14_CRAFTSMEN)
& craftsmen(R_17_14_CRAFTSMEN)
& attrib39(R_17_14_CRAFTSMEN,R_17_13_SKILLED)
& with(R_17_14_CRAFTSMEN,R_17_16_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))