Context                Previous, Next                Top


1_a_seiko_9r65
Thank you for purchasing the Grand Seiko Spring Drive watch.

n1_a_seiko_9r65 n1_a_seiko_9r65__1_1_1 Thank_you n1_a_seiko_9r65__1_2_1_1 for n1_a_seiko_9r65__1_2_2_1_1 purchasing n1_a_seiko_9r65__1_2_2_2_1_1 the n1_a_seiko_9r65__1_2_2_2_2_1 Grand n1_a_seiko_9r65__1_2_2_2_3_1 Seiko n1_a_seiko_9r65__1_2_2_2_4_1 Spring n1_a_seiko_9r65__1_2_2_2_5_1 Drive n1_a_seiko_9r65__1_2_2_2_6_1 watch n1_a_seiko_9r65__1_3_1 . n1_a_seiko_9r65__1 FRAG n1_a_seiko_9r65__1_1 FRM n1_a_seiko_9r65__1->n1_a_seiko_9r65__1_1 n1_a_seiko_9r65__1_2 PP n1_a_seiko_9r65__1->n1_a_seiko_9r65__1_2 n1_a_seiko_9r65__1_3 PUNC n1_a_seiko_9r65__1->n1_a_seiko_9r65__1_3 n1_a_seiko_9r65__1_1->n1_a_seiko_9r65__1_1_1 n1_a_seiko_9r65__1_2_1 P-ROLE n1_a_seiko_9r65__1_2->n1_a_seiko_9r65__1_2_1 n1_a_seiko_9r65__1_2_2 IP-PPL n1_a_seiko_9r65__1_2->n1_a_seiko_9r65__1_2_2 n1_a_seiko_9r65__1_2_1->n1_a_seiko_9r65__1_2_1_1 n1_a_seiko_9r65__1_2_2_1 VAG;_Tn_ n1_a_seiko_9r65__1_2_2->n1_a_seiko_9r65__1_2_2_1 n1_a_seiko_9r65__1_2_2_2 NP-OB1 n1_a_seiko_9r65__1_2_2->n1_a_seiko_9r65__1_2_2_2 n1_a_seiko_9r65__1_2_2_1->n1_a_seiko_9r65__1_2_2_1_1 n1_a_seiko_9r65__1_2_2_2_1 D n1_a_seiko_9r65__1_2_2_2->n1_a_seiko_9r65__1_2_2_2_1 n1_a_seiko_9r65__1_2_2_2_2 NPR n1_a_seiko_9r65__1_2_2_2->n1_a_seiko_9r65__1_2_2_2_2 n1_a_seiko_9r65__1_2_2_2_3 NPR n1_a_seiko_9r65__1_2_2_2->n1_a_seiko_9r65__1_2_2_2_3 n1_a_seiko_9r65__1_2_2_2_4 NPR n1_a_seiko_9r65__1_2_2_2->n1_a_seiko_9r65__1_2_2_2_4 n1_a_seiko_9r65__1_2_2_2_5 NPR n1_a_seiko_9r65__1_2_2_2->n1_a_seiko_9r65__1_2_2_2_5 n1_a_seiko_9r65__1_2_2_2_6 N n1_a_seiko_9r65__1_2_2_2->n1_a_seiko_9r65__1_2_2_2_6 n1_a_seiko_9r65__1_2_2_2_1->n1_a_seiko_9r65__1_2_2_2_1_1 n1_a_seiko_9r65__1_2_2_2_2->n1_a_seiko_9r65__1_2_2_2_2_1 n1_a_seiko_9r65__1_2_2_2_3->n1_a_seiko_9r65__1_2_2_2_3_1 n1_a_seiko_9r65__1_2_2_2_4->n1_a_seiko_9r65__1_2_2_2_4_1 n1_a_seiko_9r65__1_2_2_2_5->n1_a_seiko_9r65__1_2_2_2_5_1 n1_a_seiko_9r65__1_2_2_2_6->n1_a_seiko_9r65__1_2_2_2_6_1 n1_a_seiko_9r65__1_3->n1_a_seiko_9r65__1_3_1 
( (FRAG (FRM Thank_you)
        (PP (P-ROLE for;{for})
            (IP-PPL (VAG;_Tn_ purchasing;{purchase})
                    (NP-OB1 (D the;{the})
                            (NPR Grand;{Grand})
                            (NPR Seiko;{Seiko})
                            (NPR Spring;{Spring})
                            (NPR Drive;{Drive})
                            (N watch;{watch}))))
        (PUNC .))
  (ID 1_a_seiko_9r65))


%3 z_0001_5006 r_0001_0003__purchasing purchasing z_0001_5006->r_0001_0003__purchasing for z_0001_5003 r_0001_0003__purchasing->z_0001_5003 [arg0] r_0001_0004__the_r_0001_0005__Grand_r_0001_0006__Seiko_r_0001_0007__Spring_r_0001_0008__Drive_r_0001_0009__watch the Grand Seiko Spring Drive watch r_0001_0003__purchasing->r_0001_0004__the_r_0001_0005__Grand_r_0001_0006__Seiko_r_0001_0007__Spring_r_0001_0008__Drive_r_0001_0009__watch [arg1] 
arc(r_0001_0003__purchasing,r_0001_0004__the_r_0001_0005__Grand_r_0001_0006__Seiko_r_0001_0007__Spring_r_0001_0008__Drive_r_0001_0009__watch,arg1).
arc(r_0001_0003__purchasing,z_0001_5003,arg0).
arc(z_0001_5006,r_0001_0003__purchasing,r_0001_0002__for).


%3 r_0001_0003__purchasing purchasing r_0001_0004__the_r_0001_0005__Grand_r_0001_0006__Seiko_r_0001_0007__Spring_r_0001_0008__Drive_r_0001_0009__watch the Grand Seiko Spring Drive watch r_0001_0003__purchasing->r_0001_0004__the_r_0001_0005__Grand_r_0001_0006__Seiko_r_0001_0007__Spring_r_0001_0008__Drive_r_0001_0009__watch [arg1] z_0001_5003 r_0001_0003__purchasing->z_0001_5003 [arg0] z_0001_5006 z_0001_5006->r_0001_0003__purchasing for 
fof(formula,axiom,
    ? [R_0001_0004__THE_R_0001_0005__GRAND_R_0001_0006__SEIKO_R_0001_0007__SPRING_R_0001_0008__DRIVE_R_0001_0009__WATCH,Z_0001_5003,R_0001_0003__PURCHASING,Z_0001_5006] :
      ( r_0001_0004__the_r_0001_0005__Grand_r_0001_0006__Seiko_r_0001_0007__Spring_r_0001_0008__Drive_r_0001_0009__watch(R_0001_0004__THE_R_0001_0005__GRAND_R_0001_0006__SEIKO_R_0001_0007__SPRING_R_0001_0008__DRIVE_R_0001_0009__WATCH)
      & z_0001_5003(Z_0001_5003)
      & z_0001_5006(Z_0001_5006)
      & has_r_0001_0002__for(Z_0001_5006,R_0001_0003__PURCHASING)
      & r_0001_0003__purchasing(R_0001_0003__PURCHASING)
      & has_arg0(R_0001_0003__PURCHASING,Z_0001_5003)
      & has_arg1(R_0001_0003__PURCHASING,R_0001_0004__THE_R_0001_0005__GRAND_R_0001_0006__SEIKO_R_0001_0007__SPRING_R_0001_0008__DRIVE_R_0001_0009__WATCH) ) ).