Context                Previous, Next                Top


279_a_dick_1952
Nasha bent down, touching a concrete stone.

%3 r_0279_0002__bent bent r_0279_0001__Nasha Nasha r_0279_0002__bent->r_0279_0001__Nasha [arg0] r_0279_0003__down down r_0279_0002__bent->r_0279_0003__down [clr] r_0279_0005__touching touching r_0279_0005__touching->r_0279_0001__Nasha [arg0] r_0279_0006__a_r_0279_0007__concrete_r_0279_0008__stone a concrete stone r_0279_0005__touching->r_0279_0006__a_r_0279_0007__concrete_r_0279_0008__stone [arg1] z_000_279_a_dick_1952_12 z_000_279_a_dick_1952_12->r_0279_0002__bent [scope] z_000_279_a_dick_1952_12->r_0279_0005__touching [restriction] 
arc(r_0279_0002__bent, r_0279_0001__Nasha, arg0).
arc(r_0279_0002__bent, r_0279_0003__down, clr7).
arc(r_0279_0005__touching, r_0279_0001__Nasha, arg0).
arc(r_0279_0005__touching, r_0279_0006__a_r_0279_0007__concrete_r_0279_0008__stone, arg1).
arc(z_000_279_a_dick_1952_12, r_0279_0002__bent, scope).
arc(z_000_279_a_dick_1952_12, r_0279_0005__touching, restriction).


%3 z_000_279_a_dick_1952_12 r_0279_0005__touching touching z_000_279_a_dick_1952_12->r_0279_0005__touching [conj1] r_0279_0002__bent bent z_000_279_a_dick_1952_12->r_0279_0002__bent [conj2] r_0279_0006__a_r_0279_0007__concrete_r_0279_0008__stone a concrete stone r_0279_0005__touching->r_0279_0006__a_r_0279_0007__concrete_r_0279_0008__stone [arg1] r_0279_0001__Nasha Nasha r_0279_0005__touching->r_0279_0001__Nasha [arg0] r_0279_0002__bent->r_0279_0001__Nasha [arg0] r_0279_0003__down down r_0279_0002__bent->r_0279_0003__down [clr] 
fof(formula,axiom,
    ? [Z_279_A_DICK_1952_12,R_279_5_TOUCHING,R_279_6_A_CONCRETE_STONE,R_279_2_BENT,R_279_1_NASHA,R_279_3_DOWN] :
      ( a_concrete_stone(R_279_6_A_CONCRETE_STONE)
      & nasha(R_279_1_NASHA)
      & down(R_279_3_DOWN)
      & z_279_a_dick_1952_12(Z_279_A_DICK_1952_12)
      & conj1(Z_279_A_DICK_1952_12,R_279_5_TOUCHING)
      & touching(R_279_5_TOUCHING,R_279_1_NASHA,R_279_6_A_CONCRETE_STONE)
      & conj2(Z_279_A_DICK_1952_12,R_279_2_BENT)
      & bent(R_279_2_BENT,R_279_1_NASHA)
      & clr7(R_279_2_BENT,R_279_3_DOWN) ) ).


n279_a_dick_1952 n279_a_dick_1952__1_1_1_1 Nasha n279_a_dick_1952__1_2_1 bent n279_a_dick_1952__1_3_1_1 down n279_a_dick_1952__1_4_1 , n279_a_dick_1952__1_5_1_1_1 touching n279_a_dick_1952__1_5_1_2_1_1 a n279_a_dick_1952__1_5_1_2_2_1 concrete n279_a_dick_1952__1_5_1_2_3_1 stone n279_a_dick_1952__1_6_1 . n279_a_dick_1952__1 IP-MAT n279_a_dick_1952__1_1 NP-SBJ n279_a_dick_1952__1->n279_a_dick_1952__1_1 n279_a_dick_1952__1_2 VBD;_Ip_ n279_a_dick_1952__1->n279_a_dick_1952__1_2 n279_a_dick_1952__1_3 ADVP-CLR n279_a_dick_1952__1->n279_a_dick_1952__1_3 n279_a_dick_1952__1_4 PUNC n279_a_dick_1952__1->n279_a_dick_1952__1_4 n279_a_dick_1952__1_5 PP-SCON n279_a_dick_1952__1->n279_a_dick_1952__1_5 n279_a_dick_1952__1_6 PUNC n279_a_dick_1952__1->n279_a_dick_1952__1_6 n279_a_dick_1952__1_1_1 NPR n279_a_dick_1952__1_1->n279_a_dick_1952__1_1_1 n279_a_dick_1952__1_1_1->n279_a_dick_1952__1_1_1_1 n279_a_dick_1952__1_2->n279_a_dick_1952__1_2_1 n279_a_dick_1952__1_3_1 RP n279_a_dick_1952__1_3->n279_a_dick_1952__1_3_1 n279_a_dick_1952__1_3_1->n279_a_dick_1952__1_3_1_1 n279_a_dick_1952__1_4->n279_a_dick_1952__1_4_1 n279_a_dick_1952__1_5_1 IP-PPL2 n279_a_dick_1952__1_5->n279_a_dick_1952__1_5_1 n279_a_dick_1952__1_5_1_1 VAG;_Tn_ n279_a_dick_1952__1_5_1->n279_a_dick_1952__1_5_1_1 n279_a_dick_1952__1_5_1_2 NP-OB1 n279_a_dick_1952__1_5_1->n279_a_dick_1952__1_5_1_2 n279_a_dick_1952__1_5_1_1->n279_a_dick_1952__1_5_1_1_1 n279_a_dick_1952__1_5_1_2_1 D n279_a_dick_1952__1_5_1_2->n279_a_dick_1952__1_5_1_2_1 n279_a_dick_1952__1_5_1_2_2 N n279_a_dick_1952__1_5_1_2->n279_a_dick_1952__1_5_1_2_2 n279_a_dick_1952__1_5_1_2_3 N n279_a_dick_1952__1_5_1_2->n279_a_dick_1952__1_5_1_2_3 n279_a_dick_1952__1_5_1_2_1->n279_a_dick_1952__1_5_1_2_1_1 n279_a_dick_1952__1_5_1_2_2->n279_a_dick_1952__1_5_1_2_2_1 n279_a_dick_1952__1_5_1_2_3->n279_a_dick_1952__1_5_1_2_3_1 n279_a_dick_1952__1_6->n279_a_dick_1952__1_6_1 
( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Ip_ bent;{bend[down]})
          (ADVP-CLR (RP down;{down}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ touching;{touch})
                            (NP-OB1 (D a;{a})
                                    (N concrete;{concrete})
                                    (N stone;{stone}))))
          (PUNC .))
  (ID 279_a_dick_1952))