Context                Previous, Next                Top


30_a_potter_1902
He found a door in a wall; but it was locked, and there was no room for a fat little rabbit to squeeze underneath.

%3 r_0030_0002__found found r_0030_0001__He He r_0030_0002__found->r_0030_0001__He [arg0] r_0030_0003__a_r_0030_0004__door a door r_0030_0002__found->r_0030_0003__a_r_0030_0004__door [arg1] r_0030_0006__a_r_0030_0007__wall a wall r_0030_0003__a_r_0030_0004__door->r_0030_0006__a_r_0030_0007__wall in r_0030_0009__but but r_0030_0009__but->r_0030_0002__found [conj1] r_0030_0014__and and r_0030_0009__but->r_0030_0014__and [conj2] r_0030_0011__was was r_0030_0014__and->r_0030_0011__was [conj1] r_0030_0017__no_quant no [quant] r_0030_0014__and->r_0030_0017__no_quant [conj2] r_0030_0012__locked locked r_0030_0011__was->r_0030_0012__locked [scope] r_0030_0012__locked->r_0030_0003__a_r_0030_0004__door [arg1] z_000_30_a_potter_1902_36 r_0030_0012__locked->z_000_30_a_potter_1902_36 [arg0] r_0030_0015__there_r_0030_0016__was there was r_0030_0017__no_quant->r_0030_0015__there_r_0030_0016__was [scope] r_0030_0018__room room r_0030_0017__no_quant->r_0030_0018__room [restriction] r_0030_0015__there_r_0030_0016__was->r_0030_0018__room [arg0] r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze for to squeeze r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze->r_0030_0018__room underneath [clr] r_0030_0020__a_r_0030_0023__rabbit a rabbit r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze->r_0030_0020__a_r_0030_0023__rabbit [arg0] r_0030_0021__fat fat r_0030_0020__a_r_0030_0023__rabbit->r_0030_0021__fat [attrib] r_0030_0022__little little r_0030_0020__a_r_0030_0023__rabbit->r_0030_0022__little [attrib] 
arc(r_0030_0002__found, r_0030_0001__He, arg0).
arc(r_0030_0002__found, r_0030_0003__a_r_0030_0004__door, arg1).
arc(r_0030_0003__a_r_0030_0004__door, r_0030_0006__a_r_0030_0007__wall, r_0030_0005__in).
arc(r_0030_0009__but, r_0030_0002__found, conj1).
arc(r_0030_0009__but, r_0030_0014__and, conj2).
arc(r_0030_0011__was, r_0030_0012__locked, scope).
arc(r_0030_0012__locked, r_0030_0003__a_r_0030_0004__door, arg1).
arc(r_0030_0012__locked, z_000_30_a_potter_1902_36, arg0).
arc(r_0030_0014__and, r_0030_0011__was, conj1).
arc(r_0030_0014__and, r_0030_0017__no_quant, conj2).
arc(r_0030_0015__there_r_0030_0016__was, r_0030_0018__room, arg0).
arc(r_0030_0017__no_quant, r_0030_0015__there_r_0030_0016__was, scope).
arc(r_0030_0017__no_quant, r_0030_0018__room, restriction).
arc(r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze, r_0030_0018__room, r_0030_0026__underneath_clr76).
arc(r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze, r_0030_0020__a_r_0030_0023__rabbit, arg0).
arc(r_0030_0020__a_r_0030_0023__rabbit, r_0030_0021__fat, attrib61).
arc(r_0030_0020__a_r_0030_0023__rabbit, r_0030_0022__little, attrib64).


%3 r_0030_0020__a_r_0030_0023__rabbit a rabbit r_0030_0022__little little r_0030_0020__a_r_0030_0023__rabbit->r_0030_0022__little [attrib] r_0030_0021__fat fat r_0030_0020__a_r_0030_0023__rabbit->r_0030_0021__fat [attrib] r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze for to squeeze r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze->r_0030_0020__a_r_0030_0023__rabbit [arg0] r_0030_0018__room room r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze->r_0030_0018__room underneath [clr] r_0030_0017__no_quant no [quant] r_0030_0017__no_quant->r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze [restriction] r_0030_0015__there_r_0030_0016__was there was r_0030_0017__no_quant->r_0030_0015__there_r_0030_0016__was [scope] r_0030_0015__there_r_0030_0016__was->r_0030_0018__room [arg0] r_0030_0014__and and r_0030_0014__and->r_0030_0017__no_quant [conj2] r_0030_0011__was_r_0030_0012__locked was locked r_0030_0014__and->r_0030_0011__was_r_0030_0012__locked [conj1] z_000_30_a_potter_1902_36 r_0030_0011__was_r_0030_0012__locked->z_000_30_a_potter_1902_36 [arg0] r_0030_0003__a_r_0030_0004__door a door r_0030_0011__was_r_0030_0012__locked->r_0030_0003__a_r_0030_0004__door [arg1] r_0030_0006__a_r_0030_0007__wall a wall r_0030_0003__a_r_0030_0004__door->r_0030_0006__a_r_0030_0007__wall in r_0030_0009__but but r_0030_0009__but->r_0030_0014__and [conj2] r_0030_0002__found found r_0030_0009__but->r_0030_0002__found [conj1] r_0030_0002__found->r_0030_0003__a_r_0030_0004__door [arg1] r_0030_0001__He He r_0030_0002__found->r_0030_0001__He [arg0] 
fof(formula,axiom,
    ? [R_30_9_BUT,R_30_2_FOUND,R_30_1_HE,R_30_14_AND,R_30_11_WAS_LOCKED,Z_30_A_POTTER_1902_36,R_30_3_A_DOOR,R_30_6_A_WALL] :
      ( he(R_30_1_HE)
      & a_wall(R_30_6_A_WALL)
      & but(R_30_9_BUT)
      & conj1(R_30_9_BUT,R_30_2_FOUND)
      & found(R_30_2_FOUND,R_30_1_HE,R_30_3_A_DOOR)
      & a_door(R_30_3_A_DOOR)
      & in(R_30_3_A_DOOR,R_30_6_A_WALL)
      & conj2(R_30_9_BUT,R_30_14_AND)
      & ! [R_30_19_FOR_TO_SQUEEZE,R_30_20_A_RABBIT,R_30_21_FAT,R_30_22_LITTLE,R_30_18_ROOM] :
          ( ( fat(R_30_21_FAT)
            & little(R_30_22_LITTLE)
            & room(R_30_18_ROOM)
            & for_to_squeeze(R_30_19_FOR_TO_SQUEEZE,R_30_20_A_RABBIT)
            & a_rabbit(R_30_20_A_RABBIT)
            & attrib61(R_30_20_A_RABBIT,R_30_21_FAT)
            & attrib64(R_30_20_A_RABBIT,R_30_22_LITTLE)
            & underneath_clr76(R_30_19_FOR_TO_SQUEEZE,R_30_18_ROOM) )
         => ? [R_30_15_THERE_WAS] : there_was(R_30_15_THERE_WAS,R_30_18_ROOM) )
      & conj2(CONJ2)
      & and(R_30_14_AND)
      & conj1(R_30_14_AND,R_30_11_WAS_LOCKED)
      & was_locked(R_30_11_WAS_LOCKED,Z_30_A_POTTER_1902_36,R_30_3_A_DOOR) ) ).


n30_a_potter_1902 n30_a_potter_1902__1_1_1_1_1_1 He n30_a_potter_1902__1_1_1_2_1 found n30_a_potter_1902__1_1_1_3_1_1 a n30_a_potter_1902__1_1_1_3_2_1 door n30_a_potter_1902__1_1_1_3_3_1_1 in n30_a_potter_1902__1_1_1_3_3_2_1_1 a n30_a_potter_1902__1_1_1_3_3_2_2_1 wall n30_a_potter_1902__1_1_2_1 ; n30_a_potter_1902__1_1_3_1_1 but n30_a_potter_1902__1_1_3_2_1_1_1_1_1 it n30_a_potter_1902__1_1_3_2_1_1_2_1 was n30_a_potter_1902__1_1_3_2_1_1_3_1_1 * n30_a_potter_1902__1_1_3_2_1_1_3_2_1 locked n30_a_potter_1902__1_1_3_2_1_2_1 , n30_a_potter_1902__1_1_3_2_1_3_1_1 and n30_a_potter_1902__1_1_3_2_1_3_2_1_1 there n30_a_potter_1902__1_1_3_2_1_3_2_2_1 was n30_a_potter_1902__1_1_3_2_1_3_2_3_1_1 no n30_a_potter_1902__1_1_3_2_1_3_2_3_2_1 room n30_a_potter_1902__1_1_3_2_1_3_2_3_3_1_1 for n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_1_1 a n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2_1_1 fat n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3_1_1 little n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_4_1 rabbit n30_a_potter_1902__1_1_3_2_1_3_2_3_3_3_1 to n30_a_potter_1902__1_1_3_2_1_3_2_3_3_4_1 squeeze n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_1_1 underneath n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_2_1 *T* n30_a_potter_1902__1_2_1 . n30_a_potter_1902__1 IP-MAT n30_a_potter_1902__1_1 ILYR n30_a_potter_1902__1->n30_a_potter_1902__1_1 n30_a_potter_1902__1_2 PUNC n30_a_potter_1902__1->n30_a_potter_1902__1_2 n30_a_potter_1902__1_1_1 ILYR n30_a_potter_1902__1_1->n30_a_potter_1902__1_1_1 n30_a_potter_1902__1_1_2 PUNC n30_a_potter_1902__1_1->n30_a_potter_1902__1_1_2 n30_a_potter_1902__1_1_3 CONJP n30_a_potter_1902__1_1->n30_a_potter_1902__1_1_3 n30_a_potter_1902__1_1_1_1 NP-SBJ n30_a_potter_1902__1_1_1->n30_a_potter_1902__1_1_1_1 n30_a_potter_1902__1_1_1_2 VBD;_Tn_ n30_a_potter_1902__1_1_1->n30_a_potter_1902__1_1_1_2 n30_a_potter_1902__1_1_1_3 NP-OB1 n30_a_potter_1902__1_1_1->n30_a_potter_1902__1_1_1_3 n30_a_potter_1902__1_1_1_1_1 PRO n30_a_potter_1902__1_1_1_1->n30_a_potter_1902__1_1_1_1_1 n30_a_potter_1902__1_1_1_1_1->n30_a_potter_1902__1_1_1_1_1_1 n30_a_potter_1902__1_1_1_2->n30_a_potter_1902__1_1_1_2_1 n30_a_potter_1902__1_1_1_3_1 D n30_a_potter_1902__1_1_1_3->n30_a_potter_1902__1_1_1_3_1 n30_a_potter_1902__1_1_1_3_2 N n30_a_potter_1902__1_1_1_3->n30_a_potter_1902__1_1_1_3_2 n30_a_potter_1902__1_1_1_3_3 PP n30_a_potter_1902__1_1_1_3->n30_a_potter_1902__1_1_1_3_3 n30_a_potter_1902__1_1_1_3_1->n30_a_potter_1902__1_1_1_3_1_1 n30_a_potter_1902__1_1_1_3_2->n30_a_potter_1902__1_1_1_3_2_1 n30_a_potter_1902__1_1_1_3_3_1 P-ROLE n30_a_potter_1902__1_1_1_3_3->n30_a_potter_1902__1_1_1_3_3_1 n30_a_potter_1902__1_1_1_3_3_2 NP n30_a_potter_1902__1_1_1_3_3->n30_a_potter_1902__1_1_1_3_3_2 n30_a_potter_1902__1_1_1_3_3_1->n30_a_potter_1902__1_1_1_3_3_1_1 n30_a_potter_1902__1_1_1_3_3_2_1 D n30_a_potter_1902__1_1_1_3_3_2->n30_a_potter_1902__1_1_1_3_3_2_1 n30_a_potter_1902__1_1_1_3_3_2_2 N n30_a_potter_1902__1_1_1_3_3_2->n30_a_potter_1902__1_1_1_3_3_2_2 n30_a_potter_1902__1_1_1_3_3_2_1->n30_a_potter_1902__1_1_1_3_3_2_1_1 n30_a_potter_1902__1_1_1_3_3_2_2->n30_a_potter_1902__1_1_1_3_3_2_2_1 n30_a_potter_1902__1_1_2->n30_a_potter_1902__1_1_2_1 n30_a_potter_1902__1_1_3_1 CONJ n30_a_potter_1902__1_1_3->n30_a_potter_1902__1_1_3_1 n30_a_potter_1902__1_1_3_2 ILYR n30_a_potter_1902__1_1_3->n30_a_potter_1902__1_1_3_2 n30_a_potter_1902__1_1_3_1->n30_a_potter_1902__1_1_3_1_1 n30_a_potter_1902__1_1_3_2_1 ILYR n30_a_potter_1902__1_1_3_2->n30_a_potter_1902__1_1_3_2_1 n30_a_potter_1902__1_1_3_2_1_1 ILYR n30_a_potter_1902__1_1_3_2_1->n30_a_potter_1902__1_1_3_2_1_1 n30_a_potter_1902__1_1_3_2_1_2 PUNC n30_a_potter_1902__1_1_3_2_1->n30_a_potter_1902__1_1_3_2_1_2 n30_a_potter_1902__1_1_3_2_1_3 CONJP n30_a_potter_1902__1_1_3_2_1->n30_a_potter_1902__1_1_3_2_1_3 n30_a_potter_1902__1_1_3_2_1_1_1 NP-SBJ n30_a_potter_1902__1_1_3_2_1_1->n30_a_potter_1902__1_1_3_2_1_1_1 n30_a_potter_1902__1_1_3_2_1_1_2 BED;_cat_VePASS_ n30_a_potter_1902__1_1_3_2_1_1->n30_a_potter_1902__1_1_3_2_1_1_2 n30_a_potter_1902__1_1_3_2_1_1_3 IP-PPL-CAT n30_a_potter_1902__1_1_3_2_1_1->n30_a_potter_1902__1_1_3_2_1_1_3 n30_a_potter_1902__1_1_3_2_1_1_1_1 PRO n30_a_potter_1902__1_1_3_2_1_1_1->n30_a_potter_1902__1_1_3_2_1_1_1_1 n30_a_potter_1902__1_1_3_2_1_1_1_1->n30_a_potter_1902__1_1_3_2_1_1_1_1_1 n30_a_potter_1902__1_1_3_2_1_1_2->n30_a_potter_1902__1_1_3_2_1_1_2_1 n30_a_potter_1902__1_1_3_2_1_1_3_1 NP-LGS n30_a_potter_1902__1_1_3_2_1_1_3->n30_a_potter_1902__1_1_3_2_1_1_3_1 n30_a_potter_1902__1_1_3_2_1_1_3_2 VVN;_Tn_ n30_a_potter_1902__1_1_3_2_1_1_3->n30_a_potter_1902__1_1_3_2_1_1_3_2 n30_a_potter_1902__1_1_3_2_1_1_3_1->n30_a_potter_1902__1_1_3_2_1_1_3_1_1 n30_a_potter_1902__1_1_3_2_1_1_3_2->n30_a_potter_1902__1_1_3_2_1_1_3_2_1 n30_a_potter_1902__1_1_3_2_1_2->n30_a_potter_1902__1_1_3_2_1_2_1 n30_a_potter_1902__1_1_3_2_1_3_1 CONJ n30_a_potter_1902__1_1_3_2_1_3->n30_a_potter_1902__1_1_3_2_1_3_1 n30_a_potter_1902__1_1_3_2_1_3_2 ILYR n30_a_potter_1902__1_1_3_2_1_3->n30_a_potter_1902__1_1_3_2_1_3_2 n30_a_potter_1902__1_1_3_2_1_3_1->n30_a_potter_1902__1_1_3_2_1_3_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_1 EX n30_a_potter_1902__1_1_3_2_1_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_1 n30_a_potter_1902__1_1_3_2_1_3_2_2 BED;_ex_V_ n30_a_potter_1902__1_1_3_2_1_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_2 n30_a_potter_1902__1_1_3_2_1_3_2_3 NP-ESBJ n30_a_potter_1902__1_1_3_2_1_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_3 n30_a_potter_1902__1_1_3_2_1_3_2_1->n30_a_potter_1902__1_1_3_2_1_3_2_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_2->n30_a_potter_1902__1_1_3_2_1_3_2_2_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_1 Q n30_a_potter_1902__1_1_3_2_1_3_2_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_2 N n30_a_potter_1902__1_1_3_2_1_3_2_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_2 n30_a_potter_1902__1_1_3_2_1_3_2_3_3 IP-INF-REL n30_a_potter_1902__1_1_3_2_1_3_2_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3 n30_a_potter_1902__1_1_3_2_1_3_2_3_1->n30_a_potter_1902__1_1_3_2_1_3_2_3_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_3_2_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_1 P-CONN n30_a_potter_1902__1_1_3_2_1_3_2_3_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2 NP-SBJ n30_a_potter_1902__1_1_3_2_1_3_2_3_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_3 TO n30_a_potter_1902__1_1_3_2_1_3_2_3_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_3 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_4 VB;_Ipr_ n30_a_potter_1902__1_1_3_2_1_3_2_3_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_4 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5 PP-CLR n30_a_potter_1902__1_1_3_2_1_3_2_3_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_1->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_1 D n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2 ADJP n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3 ADJP n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_4 N n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_4 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_1->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2_1 ADJ n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2_1->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_2_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3_1 ADJ n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3_1->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_3_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_4->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_2_4_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_3->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_3_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_4->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_4_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_1 P-ROLE n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_2 NP n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_2 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_1->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_1_1 n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_2->n30_a_potter_1902__1_1_3_2_1_3_2_3_3_5_2_1 n30_a_potter_1902__1_2->n30_a_potter_1902__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{PETER} (PRO He;{he}))
                      (VBD;_Tn_ found;{find})
                      (NP-OB1;{DOOR} (D a;{a})
                                     (N door;{door})
                                     (PP (P-ROLE in;{in})
                                         (NP (D a;{a})
                                             (N wall;{wall})))))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (NP-SBJ;{DOOR} (PRO it;{it}))
                                         (BED;_cat_VePASS_ was;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;_Tn_ locked;{lock})))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (EX there;{there})
                                                (BED;_ex_V_ was;{be})
                                                (NP-ESBJ (Q no;{no})
                                                         (N room;{room})
                                                         (IP-INF-REL (P-CONN for;{for})
                                                                     (NP-SBJ (D a;{a})
                                                                             (ADJP (ADJ fat;{fat}))
                                                                             (ADJP (ADJ little;{little}))
                                                                             (N rabbit;{rabbit}))
                                                                     (TO to;{to})
                                                                     (VB;_Ipr_ squeeze;{squeeze[underneath]})
                                                                     (PP-CLR (P-ROLE underneath;{underneath})
                                                                             (NP *T*))))))))))
          (PUNC .))
  (ID 30_a_potter_1902))