Context                Previous, Next                Top


29_a_kyoto_1
A Rat Drawn In 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))


%3 z_0029_5006 r_0029_0003__Drawn Drawn z_0029_5006->r_0029_0003__Drawn [scope] z_0029_5004___star_ * r_0029_0003__Drawn->z_0029_5004___star_ [arg0] r_0029_0005__Tears Tears r_0029_0003__Drawn->r_0029_0005__Tears In [nim] r_0029_0001__A_r_0029_0002__Rat A Rat r_0029_0003__Drawn->r_0029_0001__A_r_0029_0002__Rat [arg1] 
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__nim).
arc(r_0029_0003__Drawn,z_0029_5004___star_,arg0).
arc(z_0029_5006,r_0029_0003__Drawn,scope).


%3 z_0029_5006_r_0029_0003__Drawn Drawn r_0029_0001__A_r_0029_0002__Rat A Rat z_0029_5006_r_0029_0003__Drawn->r_0029_0001__A_r_0029_0002__Rat [arg1] r_0029_0005__Tears Tears z_0029_5006_r_0029_0003__Drawn->r_0029_0005__Tears In [nim] z_0029_5004___star_ * z_0029_5006_r_0029_0003__Drawn->z_0029_5004___star_ [arg0] 
fof(formula,axiom,
    ? [R_0029_0001__A_R_0029_0002__RAT,R_0029_0005__TEARS,Z_0029_5004___STAR_,Z_0029_5006_R_0029_0003__DRAWN] :
      ( r_0029_0001__A_r_0029_0002__Rat(R_0029_0001__A_R_0029_0002__RAT)
      & r_0029_0005__Tears(R_0029_0005__TEARS)
      & z_0029_5004___star_(Z_0029_5004___STAR_)
      & z_0029_5006_r_0029_0003__Drawn(Z_0029_5006_R_0029_0003__DRAWN)
      & has_arg0(Z_0029_5006_R_0029_0003__DRAWN,Z_0029_5004___STAR_)
      & has_r_0029_0004__In__nim(Z_0029_5006_R_0029_0003__DRAWN,R_0029_0005__TEARS)
      & has_arg1(Z_0029_5006_R_0029_0003__DRAWN,R_0029_0001__A_R_0029_0002__RAT) ) ).