Context                Previous, Next                Top


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

%3 r_0001_0001__Thank_you Thank you r_0001_0003__purchasing purchasing r_0001_0001__Thank_you->r_0001_0003__purchasing for [nim] 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_000_1_a_seiko_9r65_7 r_0001_0003__purchasing->z_000_1_a_seiko_9r65_7 [arg0] 
arc(r_0001_0001__Thank_you, r_0001_0003__purchasing, r_0001_0002__for_nim7).
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_000_1_a_seiko_9r65_7, arg0).


%3 r_0001_0001__Thank_you Thank you r_0001_0003__purchasing purchasing r_0001_0001__Thank_you->r_0001_0003__purchasing for [nim] 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_000_1_a_seiko_9r65_7 r_0001_0003__purchasing->z_000_1_a_seiko_9r65_7 [arg0] 
fof(formula,axiom,
    ? [R_1_1_THANK_YOU,R_1_3_PURCHASING,Z_1_A_SEIKO_9R65_7,R_1_4_THE_GRAND_SEIKO_SPRING_DRIVE_WATCH] :
      ( the_Grand_Seiko_Spring_Drive_watch(R_1_4_THE_GRAND_SEIKO_SPRING_DRIVE_WATCH)
      & thank_you(R_1_1_THANK_YOU)
      & for_nim7(R_1_1_THANK_YOU,R_1_3_PURCHASING)
      & purchasing(R_1_3_PURCHASING,Z_1_A_SEIKO_9R65_7,R_1_4_THE_GRAND_SEIKO_SPRING_DRIVE_WATCH) ) ).


n1_a_seiko_9r65 n1_a_seiko_9r65_3 Thank_you n1_a_seiko_9r65_6 for n1_a_seiko_9r65_9 purchasing n1_a_seiko_9r65_12 the n1_a_seiko_9r65_14 Grand n1_a_seiko_9r65_16 Seiko n1_a_seiko_9r65_18 Spring n1_a_seiko_9r65_20 Drive n1_a_seiko_9r65_22 watch n1_a_seiko_9r65_24 . n1_a_seiko_9r65_1 FRAG n1_a_seiko_9r65_2 FRM n1_a_seiko_9r65_1->n1_a_seiko_9r65_2 n1_a_seiko_9r65_4 PP n1_a_seiko_9r65_1->n1_a_seiko_9r65_4 n1_a_seiko_9r65_23 PUNC n1_a_seiko_9r65_1->n1_a_seiko_9r65_23 n1_a_seiko_9r65_2->n1_a_seiko_9r65_3 n1_a_seiko_9r65_5 P-ROLE n1_a_seiko_9r65_4->n1_a_seiko_9r65_5 n1_a_seiko_9r65_7 IP-PPL n1_a_seiko_9r65_4->n1_a_seiko_9r65_7 n1_a_seiko_9r65_5->n1_a_seiko_9r65_6 n1_a_seiko_9r65_8 VAG;_Tn_ n1_a_seiko_9r65_7->n1_a_seiko_9r65_8 n1_a_seiko_9r65_10 NP-OB1 n1_a_seiko_9r65_7->n1_a_seiko_9r65_10 n1_a_seiko_9r65_8->n1_a_seiko_9r65_9 n1_a_seiko_9r65_11 D n1_a_seiko_9r65_10->n1_a_seiko_9r65_11 n1_a_seiko_9r65_13 NPR n1_a_seiko_9r65_10->n1_a_seiko_9r65_13 n1_a_seiko_9r65_15 NPR n1_a_seiko_9r65_10->n1_a_seiko_9r65_15 n1_a_seiko_9r65_17 NPR n1_a_seiko_9r65_10->n1_a_seiko_9r65_17 n1_a_seiko_9r65_19 NPR n1_a_seiko_9r65_10->n1_a_seiko_9r65_19 n1_a_seiko_9r65_21 N n1_a_seiko_9r65_10->n1_a_seiko_9r65_21 n1_a_seiko_9r65_11->n1_a_seiko_9r65_12 n1_a_seiko_9r65_13->n1_a_seiko_9r65_14 n1_a_seiko_9r65_15->n1_a_seiko_9r65_16 n1_a_seiko_9r65_17->n1_a_seiko_9r65_18 n1_a_seiko_9r65_19->n1_a_seiko_9r65_20 n1_a_seiko_9r65_21->n1_a_seiko_9r65_22 n1_a_seiko_9r65_23->n1_a_seiko_9r65_24 
( (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))