Context                Previous, Next                Top


3_a_stories_10_k58
Mickey was bought when he was only a puppy of three weeks.

%3 r_0003_0002__was was r_0003_0003__bought bought r_0003_0002__was->r_0003_0003__bought [scope] r_0003_0001__Mickey Mickey r_0003_0003__bought->r_0003_0001__Mickey [arg1] z_000_3_a_stories_10_k58_8 r_0003_0003__bought->z_000_3_a_stories_10_k58_8 [arg0] r_0003_0004__when when r_0003_0004__when->r_0003_0002__was [scope] r_0003_0006__was was r_0003_0004__when->r_0003_0006__was [restriction] r_0003_0006__was->r_0003_0001__Mickey [arg0] r_0003_0008__a_r_0003_0009__puppy a puppy r_0003_0006__was->r_0003_0008__a_r_0003_0009__puppy [prd] r_0003_0007__only only r_0003_0008__a_r_0003_0009__puppy->r_0003_0007__only [qual] r_0003_0011__three_r_0003_0012__weeks three weeks r_0003_0008__a_r_0003_0009__puppy->r_0003_0011__three_r_0003_0012__weeks of 
arc(r_0003_0002__was, r_0003_0003__bought, scope).
arc(r_0003_0003__bought, r_0003_0001__Mickey, arg1).
arc(r_0003_0003__bought, z_000_3_a_stories_10_k58_8, arg0).
arc(r_0003_0004__when, r_0003_0002__was, scope).
arc(r_0003_0004__when, r_0003_0006__was, restriction).
arc(r_0003_0006__was, r_0003_0001__Mickey, arg0).
arc(r_0003_0006__was, r_0003_0008__a_r_0003_0009__puppy, prd).
arc(r_0003_0008__a_r_0003_0009__puppy, r_0003_0007__only, qual22).
arc(r_0003_0008__a_r_0003_0009__puppy, r_0003_0011__three_r_0003_0012__weeks, r_0003_0010__of).


%3 r_0003_0008__a_r_0003_0009__puppy a puppy r_0003_0011__three_r_0003_0012__weeks three weeks r_0003_0008__a_r_0003_0009__puppy->r_0003_0011__three_r_0003_0012__weeks of r_0003_0007__only only r_0003_0008__a_r_0003_0009__puppy->r_0003_0007__only [qual] r_0003_0006__was was r_0003_0006__was->r_0003_0008__a_r_0003_0009__puppy [prd] r_0003_0001__Mickey Mickey r_0003_0006__was->r_0003_0001__Mickey [arg0] r_0003_0004__when when r_0003_0004__when->r_0003_0006__was [restriction] r_0003_0002__was_r_0003_0003__bought was bought r_0003_0004__when->r_0003_0002__was_r_0003_0003__bought [scope] r_0003_0002__was_r_0003_0003__bought->r_0003_0001__Mickey [arg1] z_000_3_a_stories_10_k58_8 r_0003_0002__was_r_0003_0003__bought->z_000_3_a_stories_10_k58_8 [arg0] 
fof(formula,axiom,
    ! [R_0003_0006__WAS,R_0003_0001__MICKEY,R_0003_0007__ONLY,R_0003_0011__THREE_R_0003_0012__WEEKS,R_0003_0008__A_R_0003_0009__PUPPY] :
      ( ( r_0003_0001__Mickey(R_0003_0001__MICKEY)
        & r_0003_0007__only(R_0003_0007__ONLY)
        & r_0003_0011__three_r_0003_0012__weeks(R_0003_0011__THREE_R_0003_0012__WEEKS)
        & r_0003_0006__was(R_0003_0006__WAS)
        & has_prd(R_0003_0006__WAS,R_0003_0008__A_R_0003_0009__PUPPY)
        & r_0003_0008__a_r_0003_0009__puppy(R_0003_0008__A_R_0003_0009__PUPPY)
        & has_r_0003_0010__of(R_0003_0008__A_R_0003_0009__PUPPY,R_0003_0011__THREE_R_0003_0012__WEEKS)
        & has_qual22(R_0003_0008__A_R_0003_0009__PUPPY,R_0003_0007__ONLY)
        & has_arg0(R_0003_0006__WAS,R_0003_0001__MICKEY) )
     => ? [Z_000_3_A_STORIES_10_K58_8,R_0003_0002__WAS_R_0003_0003__BOUGHT] :
          ( z_000_3_a_stories_10_k58_8(Z_000_3_A_STORIES_10_K58_8)
          & r_0003_0002__was_r_0003_0003__bought(R_0003_0002__WAS_R_0003_0003__BOUGHT)
          & has_arg0(R_0003_0002__WAS_R_0003_0003__BOUGHT,Z_000_3_A_STORIES_10_K58_8)
          & has_arg1(R_0003_0002__WAS_R_0003_0003__BOUGHT,R_0003_0001__MICKEY) ) ) ).


n3_a_stories_10_k58 n3_a_stories_10_k58__1_1_1_1 Mickey n3_a_stories_10_k58__1_2_1 was n3_a_stories_10_k58__1_3_1_1 * n3_a_stories_10_k58__1_3_2_1 bought n3_a_stories_10_k58__1_4_1_1 when n3_a_stories_10_k58__1_4_2_1_1_1 he n3_a_stories_10_k58__1_4_2_2_1 was n3_a_stories_10_k58__1_4_2_3_1_1_1 only n3_a_stories_10_k58__1_4_2_3_2_1 a n3_a_stories_10_k58__1_4_2_3_3_1 puppy n3_a_stories_10_k58__1_4_2_3_4_1_1 of n3_a_stories_10_k58__1_4_2_3_4_2_1_1 three n3_a_stories_10_k58__1_4_2_3_4_2_2_1 weeks n3_a_stories_10_k58__1_5_1 . n3_a_stories_10_k58__1 IP-MAT n3_a_stories_10_k58__1_1 NP-SBJ n3_a_stories_10_k58__1->n3_a_stories_10_k58__1_1 n3_a_stories_10_k58__1_2 BED;_cat_VePASS_ n3_a_stories_10_k58__1->n3_a_stories_10_k58__1_2 n3_a_stories_10_k58__1_3 IP-PPL-CAT n3_a_stories_10_k58__1->n3_a_stories_10_k58__1_3 n3_a_stories_10_k58__1_4 PP-SCON n3_a_stories_10_k58__1->n3_a_stories_10_k58__1_4 n3_a_stories_10_k58__1_5 PUNC n3_a_stories_10_k58__1->n3_a_stories_10_k58__1_5 n3_a_stories_10_k58__1_1_1 NPR n3_a_stories_10_k58__1_1->n3_a_stories_10_k58__1_1_1 n3_a_stories_10_k58__1_1_1->n3_a_stories_10_k58__1_1_1_1 n3_a_stories_10_k58__1_2->n3_a_stories_10_k58__1_2_1 n3_a_stories_10_k58__1_3_1 NP-LGS n3_a_stories_10_k58__1_3->n3_a_stories_10_k58__1_3_1 n3_a_stories_10_k58__1_3_2 VVN;_Tn_ n3_a_stories_10_k58__1_3->n3_a_stories_10_k58__1_3_2 n3_a_stories_10_k58__1_3_1->n3_a_stories_10_k58__1_3_1_1 n3_a_stories_10_k58__1_3_2->n3_a_stories_10_k58__1_3_2_1 n3_a_stories_10_k58__1_4_1 P-CONN n3_a_stories_10_k58__1_4->n3_a_stories_10_k58__1_4_1 n3_a_stories_10_k58__1_4_2 IP-ADV n3_a_stories_10_k58__1_4->n3_a_stories_10_k58__1_4_2 n3_a_stories_10_k58__1_4_1->n3_a_stories_10_k58__1_4_1_1 n3_a_stories_10_k58__1_4_2_1 NP-SBJ n3_a_stories_10_k58__1_4_2->n3_a_stories_10_k58__1_4_2_1 n3_a_stories_10_k58__1_4_2_2 BED;_Ln_ n3_a_stories_10_k58__1_4_2->n3_a_stories_10_k58__1_4_2_2 n3_a_stories_10_k58__1_4_2_3 NP-PRD n3_a_stories_10_k58__1_4_2->n3_a_stories_10_k58__1_4_2_3 n3_a_stories_10_k58__1_4_2_1_1 PRO n3_a_stories_10_k58__1_4_2_1->n3_a_stories_10_k58__1_4_2_1_1 n3_a_stories_10_k58__1_4_2_1_1->n3_a_stories_10_k58__1_4_2_1_1_1 n3_a_stories_10_k58__1_4_2_2->n3_a_stories_10_k58__1_4_2_2_1 n3_a_stories_10_k58__1_4_2_3_1 ADVP n3_a_stories_10_k58__1_4_2_3->n3_a_stories_10_k58__1_4_2_3_1 n3_a_stories_10_k58__1_4_2_3_2 D n3_a_stories_10_k58__1_4_2_3->n3_a_stories_10_k58__1_4_2_3_2 n3_a_stories_10_k58__1_4_2_3_3 N n3_a_stories_10_k58__1_4_2_3->n3_a_stories_10_k58__1_4_2_3_3 n3_a_stories_10_k58__1_4_2_3_4 PP n3_a_stories_10_k58__1_4_2_3->n3_a_stories_10_k58__1_4_2_3_4 n3_a_stories_10_k58__1_4_2_3_1_1 ADV n3_a_stories_10_k58__1_4_2_3_1->n3_a_stories_10_k58__1_4_2_3_1_1 n3_a_stories_10_k58__1_4_2_3_1_1->n3_a_stories_10_k58__1_4_2_3_1_1_1 n3_a_stories_10_k58__1_4_2_3_2->n3_a_stories_10_k58__1_4_2_3_2_1 n3_a_stories_10_k58__1_4_2_3_3->n3_a_stories_10_k58__1_4_2_3_3_1 n3_a_stories_10_k58__1_4_2_3_4_1 P-ROLE n3_a_stories_10_k58__1_4_2_3_4->n3_a_stories_10_k58__1_4_2_3_4_1 n3_a_stories_10_k58__1_4_2_3_4_2 NP n3_a_stories_10_k58__1_4_2_3_4->n3_a_stories_10_k58__1_4_2_3_4_2 n3_a_stories_10_k58__1_4_2_3_4_1->n3_a_stories_10_k58__1_4_2_3_4_1_1 n3_a_stories_10_k58__1_4_2_3_4_2_1 NUM n3_a_stories_10_k58__1_4_2_3_4_2->n3_a_stories_10_k58__1_4_2_3_4_2_1 n3_a_stories_10_k58__1_4_2_3_4_2_2 NS n3_a_stories_10_k58__1_4_2_3_4_2->n3_a_stories_10_k58__1_4_2_3_4_2_2 n3_a_stories_10_k58__1_4_2_3_4_2_1->n3_a_stories_10_k58__1_4_2_3_4_2_1_1 n3_a_stories_10_k58__1_4_2_3_4_2_2->n3_a_stories_10_k58__1_4_2_3_4_2_2_1 n3_a_stories_10_k58__1_5->n3_a_stories_10_k58__1_5_1 
( (IP-MAT (NP-SBJ;{MICKEY} (NPR Mickey;{Mickey}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT;{PURCHASE} (NP-LGS *)
                                 (VVN;_Tn_ bought;{buy}))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{MICKEY} (PRO he;{he}))
                           (BED;_Ln_ was;{be})
                           (NP-PRD (ADVP (ADV only;{only}))
                                   (D a;{a})
                                   (N puppy;{puppy})
                                   (PP (P-ROLE of;{of})
                                       (NP (NUM three;{three})
                                           (NS weeks;{week}))))))
          (PUNC .))
  (ID 3_a_stories_10_k58))