6_a_seiko_9r65
That is what the Grand Seiko Spring Drive watch is all about.
( (IP-MAT (NP-SBJ;{LIFESTYLE} (D;_nphd_ That;{that}))
(BEP;_Ln_ is;{be})
(NP-PRD (IP-REL (NP-185 (RPRO what;{what}))
(NP-SBJ (D the;{the})
(NPR Grand;{Grand})
(NPR Seiko;{Seiko})
(NPR Spring;{Spring})
(NPR Drive;{Drive})
(N watch;{watch}))
(BEP;_Ipr_ is;{be[about]})
(PP-CLR (ADVP-NIM (ADV all;{all}))
(P-ROLE about;{about})
(NP *ICH*-185))))
(PUNC .))
(ID 6_a_seiko_9r65))
arc(r_0006_0002__is,r_0006_0001__That,arg0).
arc(r_0006_0002__is,r_0006_0003__what,prd).
arc(r_0006_0010__is_r_0006_0011__all_r_0006_0012__about,r_0006_0003__what,arg1).
arc(r_0006_0010__is_r_0006_0011__all_r_0006_0012__about,r_0006_0004__the_r_0006_0005__Grand_r_0006_0006__Seiko_r_0006_0007__Spring_r_0006_0008__Drive_r_0006_0009__watch,arg0).
fof(formula,axiom,
? [R_0006_0001__THAT,R_0006_0003__WHAT,R_0006_0002__IS,R_0006_0004__THE_R_0006_0005__GRAND_R_0006_0006__SEIKO_R_0006_0007__SPRING_R_0006_0008__DRIVE_R_0006_0009__WATCH,R_0006_0010__IS_R_0006_0011__ALL_R_0006_0012__ABOUT] :
( r_0006_0001__That(R_0006_0001__THAT)
& r_0006_0003__what(R_0006_0003__WHAT)
& r_0006_0004__the_r_0006_0005__Grand_r_0006_0006__Seiko_r_0006_0007__Spring_r_0006_0008__Drive_r_0006_0009__watch(R_0006_0004__THE_R_0006_0005__GRAND_R_0006_0006__SEIKO_R_0006_0007__SPRING_R_0006_0008__DRIVE_R_0006_0009__WATCH)
& r_0006_0010__is_r_0006_0011__all_r_0006_0012__about(R_0006_0010__IS_R_0006_0011__ALL_R_0006_0012__ABOUT)
& has_arg0(R_0006_0010__IS_R_0006_0011__ALL_R_0006_0012__ABOUT,R_0006_0004__THE_R_0006_0005__GRAND_R_0006_0006__SEIKO_R_0006_0007__SPRING_R_0006_0008__DRIVE_R_0006_0009__WATCH)
& has_arg1(R_0006_0010__IS_R_0006_0011__ALL_R_0006_0012__ABOUT,R_0006_0003__WHAT)
& r_0006_0002__is(R_0006_0002__IS)
& has_prd(R_0006_0002__IS,R_0006_0003__WHAT)
& has_arg0(R_0006_0002__IS,R_0006_0001__THAT) ) ).