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 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] r_0029_0005__Tears Tears z_000_29_a_kyoto_1_1_r_0029_0003__Drawn->r_0029_0005__Tears In [nim] 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] 
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_4 A n29_a_kyoto_1_6 Rat n29_a_kyoto_1_9 * n29_a_kyoto_1_11 Drawn n29_a_kyoto_1_14 In n29_a_kyoto_1_17 Tears n29_a_kyoto_1_1 IP-MAT n29_a_kyoto_1_2 NP-SBJ n29_a_kyoto_1_1->n29_a_kyoto_1_2 n29_a_kyoto_1_7 IP-PPL-CAT n29_a_kyoto_1_1->n29_a_kyoto_1_7 n29_a_kyoto_1_3 D n29_a_kyoto_1_2->n29_a_kyoto_1_3 n29_a_kyoto_1_5 N n29_a_kyoto_1_2->n29_a_kyoto_1_5 n29_a_kyoto_1_3->n29_a_kyoto_1_4 n29_a_kyoto_1_5->n29_a_kyoto_1_6 n29_a_kyoto_1_8 NP-LGS n29_a_kyoto_1_7->n29_a_kyoto_1_8 n29_a_kyoto_1_10 VVN;_Tn_ n29_a_kyoto_1_7->n29_a_kyoto_1_10 n29_a_kyoto_1_12 PP-NIM n29_a_kyoto_1_7->n29_a_kyoto_1_12 n29_a_kyoto_1_8->n29_a_kyoto_1_9 n29_a_kyoto_1_10->n29_a_kyoto_1_11 n29_a_kyoto_1_13 P-ROLE n29_a_kyoto_1_12->n29_a_kyoto_1_13 n29_a_kyoto_1_15 NP n29_a_kyoto_1_12->n29_a_kyoto_1_15 n29_a_kyoto_1_13->n29_a_kyoto_1_14 n29_a_kyoto_1_16 NS n29_a_kyoto_1_15->n29_a_kyoto_1_16 n29_a_kyoto_1_16->n29_a_kyoto_1_17 
( (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))