Context                Previous, Next                Top


29_a_kyoto_1
A Rat Drawn In Tears

%3 r_0029_0003__Drawn Drawn r_0029_0001__A_r_0029_0002__Rat A Rat r_0029_0003__Drawn->r_0029_0001__A_r_0029_0002__Rat [arg1] r_0029_0005__Tears Tears r_0029_0003__Drawn->r_0029_0005__Tears In [nim] z_000_29_a_kyoto_1_8 r_0029_0003__Drawn->z_000_29_a_kyoto_1_8 [arg0] z_000_29_a_kyoto_1_1 z_000_29_a_kyoto_1_1->r_0029_0003__Drawn [scope] 
arc(r_0029_0003__Drawn, r_0029_0001__A_r_0029_0002__Rat, arg1).
arc(r_0029_0003__Drawn, r_0029_0005__Tears, r_0029_0004__In_nim15).
arc(r_0029_0003__Drawn, z_000_29_a_kyoto_1_8, arg0).
arc(z_000_29_a_kyoto_1_1, r_0029_0003__Drawn, scope).


%3 z_000_29_a_kyoto_1_1_r_0029_0003__Drawn Drawn z_000_29_a_kyoto_1_8 z_000_29_a_kyoto_1_1_r_0029_0003__Drawn->z_000_29_a_kyoto_1_8 [arg0] r_0029_0005__Tears Tears z_000_29_a_kyoto_1_1_r_0029_0003__Drawn->r_0029_0005__Tears In [nim] r_0029_0001__A_r_0029_0002__Rat A Rat z_000_29_a_kyoto_1_1_r_0029_0003__Drawn->r_0029_0001__A_r_0029_0002__Rat [arg1] 
fof(formula,axiom,
    ? [Z_29_A_KYOTO_1_1_DRAWN,Z_29_A_KYOTO_1_8,R_29_1_A_RAT,R_29_5_TEARS] :
      ( a_Rat(R_29_1_A_RAT)
      & tears(R_29_5_TEARS)
      & z_29_a_kyoto_1_1_Drawn(Z_29_A_KYOTO_1_1_DRAWN,Z_29_A_KYOTO_1_8,R_29_1_A_RAT)
      & in_nim15(Z_29_A_KYOTO_1_1_DRAWN,R_29_5_TEARS) ) ).


n29_a_kyoto_1 n29_a_kyoto_1__1_1_1_1 A n29_a_kyoto_1__1_1_2_1 Rat n29_a_kyoto_1__1_2_1_1 * n29_a_kyoto_1__1_2_2_1 Drawn n29_a_kyoto_1__1_2_3_1_1 In n29_a_kyoto_1__1_2_3_2_1_1 Tears n29_a_kyoto_1__1 IP-MAT n29_a_kyoto_1__1_1 NP-SBJ n29_a_kyoto_1__1->n29_a_kyoto_1__1_1 n29_a_kyoto_1__1_2 IP-PPL-CAT n29_a_kyoto_1__1->n29_a_kyoto_1__1_2 n29_a_kyoto_1__1_1_1 D n29_a_kyoto_1__1_1->n29_a_kyoto_1__1_1_1 n29_a_kyoto_1__1_1_2 N n29_a_kyoto_1__1_1->n29_a_kyoto_1__1_1_2 n29_a_kyoto_1__1_1_1->n29_a_kyoto_1__1_1_1_1 n29_a_kyoto_1__1_1_2->n29_a_kyoto_1__1_1_2_1 n29_a_kyoto_1__1_2_1 NP-LGS n29_a_kyoto_1__1_2->n29_a_kyoto_1__1_2_1 n29_a_kyoto_1__1_2_2 VVN;_Tn_ n29_a_kyoto_1__1_2->n29_a_kyoto_1__1_2_2 n29_a_kyoto_1__1_2_3 PP-NIM n29_a_kyoto_1__1_2->n29_a_kyoto_1__1_2_3 n29_a_kyoto_1__1_2_1->n29_a_kyoto_1__1_2_1_1 n29_a_kyoto_1__1_2_2->n29_a_kyoto_1__1_2_2_1 n29_a_kyoto_1__1_2_3_1 P-ROLE n29_a_kyoto_1__1_2_3->n29_a_kyoto_1__1_2_3_1 n29_a_kyoto_1__1_2_3_2 NP n29_a_kyoto_1__1_2_3->n29_a_kyoto_1__1_2_3_2 n29_a_kyoto_1__1_2_3_1->n29_a_kyoto_1__1_2_3_1_1 n29_a_kyoto_1__1_2_3_2_1 NS n29_a_kyoto_1__1_2_3_2->n29_a_kyoto_1__1_2_3_2_1 n29_a_kyoto_1__1_2_3_2_1->n29_a_kyoto_1__1_2_3_2_1_1 
( (IP-MAT (NP-SBJ (D A;{a})
                  (N Rat;{rat}))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ Drawn;{draw})
                      (PP-NIM (P-ROLE In;{in})
                              (NP (NS Tears;{tear})))))
  (ID 29_a_kyoto_1;BDS_00001;29))