Context                Previous, Next                Top


37_a_potter_1902
but it was locked, and there was no room for a fat little rabbit to squeeze underneath.

%3 r_0037_0003__was was r_0037_0004__locked locked r_0037_0003__was->r_0037_0004__locked [scope] r_0037_0002__it it r_0037_0004__locked->r_0037_0002__it [arg1] z_000_37_a_potter_1902_12 r_0037_0004__locked->z_000_37_a_potter_1902_12 [arg0] r_0037_0006__and and r_0037_0006__and->r_0037_0003__was [conj1] r_0037_0009__no_quant no [quant] r_0037_0006__and->r_0037_0009__no_quant [conj2] r_0037_0007__there_r_0037_0008__was there was r_0037_0009__no_quant->r_0037_0007__there_r_0037_0008__was [scope] r_0037_0010__room room r_0037_0009__no_quant->r_0037_0010__room [restriction] r_0037_0007__there_r_0037_0008__was->r_0037_0010__room [arg0] r_0037_0012__a_r_0037_0015__rabbit a rabbit r_0037_0007__there_r_0037_0008__was->r_0037_0012__a_r_0037_0015__rabbit for [nim] r_0037_0013__fat fat r_0037_0012__a_r_0037_0015__rabbit->r_0037_0013__fat [attrib] r_0037_0014__little little r_0037_0012__a_r_0037_0015__rabbit->r_0037_0014__little [attrib] r_0037_0016__to_r_0037_0017__squeeze to squeeze r_0037_0016__to_r_0037_0017__squeeze->r_0037_0012__a_r_0037_0015__rabbit [arg0] r_0037_0018__underneath underneath r_0037_0016__to_r_0037_0017__squeeze->r_0037_0018__underneath [nim] 
arc(r_0037_0003__was, r_0037_0004__locked, scope).
arc(r_0037_0004__locked, r_0037_0002__it, arg1).
arc(r_0037_0004__locked, z_000_37_a_potter_1902_12, arg0).
arc(r_0037_0006__and, r_0037_0003__was, conj1).
arc(r_0037_0006__and, r_0037_0009__no_quant, conj2).
arc(r_0037_0007__there_r_0037_0008__was, r_0037_0010__room, arg0).
arc(r_0037_0007__there_r_0037_0008__was, r_0037_0012__a_r_0037_0015__rabbit, r_0037_0011__for_nim34).
arc(r_0037_0009__no_quant, r_0037_0007__there_r_0037_0008__was, scope).
arc(r_0037_0009__no_quant, r_0037_0010__room, restriction).
arc(r_0037_0012__a_r_0037_0015__rabbit, r_0037_0013__fat, attrib37).
arc(r_0037_0012__a_r_0037_0015__rabbit, r_0037_0014__little, attrib40).
arc(r_0037_0016__to_r_0037_0017__squeeze, r_0037_0012__a_r_0037_0015__rabbit, arg0).
arc(r_0037_0016__to_r_0037_0017__squeeze, r_0037_0018__underneath, nim52).


%3 r_0037_0003__was_r_0037_0004__locked was locked r_0037_0002__it it r_0037_0003__was_r_0037_0004__locked->r_0037_0002__it [arg1] z_000_37_a_potter_1902_12 r_0037_0003__was_r_0037_0004__locked->z_000_37_a_potter_1902_12 [arg0] r_0037_0006__and and r_0037_0006__and->r_0037_0003__was_r_0037_0004__locked [conj1] r_0037_0009__no_quant no [quant] r_0037_0006__and->r_0037_0009__no_quant [conj2] r_0037_0007__there_r_0037_0008__was there was r_0037_0009__no_quant->r_0037_0007__there_r_0037_0008__was [scope] r_0037_0010__room room r_0037_0009__no_quant->r_0037_0010__room [restriction] r_0037_0007__there_r_0037_0008__was->r_0037_0010__room [arg0] r_0037_0012__a_r_0037_0015__rabbit a rabbit r_0037_0007__there_r_0037_0008__was->r_0037_0012__a_r_0037_0015__rabbit for [nim] r_0037_0013__fat fat r_0037_0012__a_r_0037_0015__rabbit->r_0037_0013__fat [attrib] r_0037_0014__little little r_0037_0012__a_r_0037_0015__rabbit->r_0037_0014__little [attrib] r_0037_0016__to_r_0037_0017__squeeze to squeeze r_0037_0016__to_r_0037_0017__squeeze->r_0037_0012__a_r_0037_0015__rabbit [arg0] r_0037_0018__underneath underneath r_0037_0016__to_r_0037_0017__squeeze->r_0037_0018__underneath [nim] 
fof(formula,axiom,
    ? [R_37_6_AND,R_37_3_WAS_LOCKED,Z_37_A_POTTER_1902_12,R_37_2_IT,R_37_16_TO_SQUEEZE,R_37_12_A_RABBIT,R_37_13_FAT,R_37_14_LITTLE,R_37_18_UNDERNEATH] :
      ( it(R_37_2_IT)
      & fat(R_37_13_FAT)
      & little(R_37_14_LITTLE)
      & underneath(R_37_18_UNDERNEATH)
      & ! [R_37_10_ROOM] :
          ( room(R_37_10_ROOM)
         => ? [R_37_7_THERE_WAS] :
              ( there_was(R_37_7_THERE_WAS,R_37_10_ROOM)
              & for_nim34(R_37_7_THERE_WAS,R_37_12_A_RABBIT) ) )
      & conj2(CONJ2)
      & and(R_37_6_AND)
      & conj1(R_37_6_AND,R_37_3_WAS_LOCKED)
      & was_locked(R_37_3_WAS_LOCKED,Z_37_A_POTTER_1902_12,R_37_2_IT)
      & to_squeeze(R_37_16_TO_SQUEEZE,R_37_12_A_RABBIT)
      & a_rabbit(R_37_12_A_RABBIT)
      & attrib37(R_37_12_A_RABBIT,R_37_13_FAT)
      & attrib40(R_37_12_A_RABBIT,R_37_14_LITTLE)
      & nim52(R_37_16_TO_SQUEEZE,R_37_18_UNDERNEATH) ) ).


n37_a_potter_1902 n37_a_potter_1902_3 but n37_a_potter_1902_8 it n37_a_potter_1902_10 was n37_a_potter_1902_13 * n37_a_potter_1902_15 locked n37_a_potter_1902_17 , n37_a_potter_1902_20 and n37_a_potter_1902_23 there n37_a_potter_1902_25 was n37_a_potter_1902_28 no n37_a_potter_1902_30 room n37_a_potter_1902_33 for n37_a_potter_1902_36 a n37_a_potter_1902_39 fat n37_a_potter_1902_42 little n37_a_potter_1902_44 rabbit n37_a_potter_1902_47 *T* n37_a_potter_1902_49 to n37_a_potter_1902_51 squeeze n37_a_potter_1902_54 underneath n37_a_potter_1902_56 . n37_a_potter_1902_1 IP-MAT n37_a_potter_1902_2 CONJ;_cl_ n37_a_potter_1902_1->n37_a_potter_1902_2 n37_a_potter_1902_4 ILYR n37_a_potter_1902_1->n37_a_potter_1902_4 n37_a_potter_1902_55 PUNC n37_a_potter_1902_1->n37_a_potter_1902_55 n37_a_potter_1902_2->n37_a_potter_1902_3 n37_a_potter_1902_5 ILYR n37_a_potter_1902_4->n37_a_potter_1902_5 n37_a_potter_1902_16 PUNC n37_a_potter_1902_4->n37_a_potter_1902_16 n37_a_potter_1902_18 CONJP n37_a_potter_1902_4->n37_a_potter_1902_18 n37_a_potter_1902_6 NP-SBJ n37_a_potter_1902_5->n37_a_potter_1902_6 n37_a_potter_1902_9 BED;_cat_VePASS_ n37_a_potter_1902_5->n37_a_potter_1902_9 n37_a_potter_1902_11 IP-PPL-CAT n37_a_potter_1902_5->n37_a_potter_1902_11 n37_a_potter_1902_7 PRO n37_a_potter_1902_6->n37_a_potter_1902_7 n37_a_potter_1902_7->n37_a_potter_1902_8 n37_a_potter_1902_9->n37_a_potter_1902_10 n37_a_potter_1902_12 NP-LGS n37_a_potter_1902_11->n37_a_potter_1902_12 n37_a_potter_1902_14 VVN;_Tn_ n37_a_potter_1902_11->n37_a_potter_1902_14 n37_a_potter_1902_12->n37_a_potter_1902_13 n37_a_potter_1902_14->n37_a_potter_1902_15 n37_a_potter_1902_16->n37_a_potter_1902_17 n37_a_potter_1902_19 CONJ n37_a_potter_1902_18->n37_a_potter_1902_19 n37_a_potter_1902_21 ILYR n37_a_potter_1902_18->n37_a_potter_1902_21 n37_a_potter_1902_19->n37_a_potter_1902_20 n37_a_potter_1902_22 EX n37_a_potter_1902_21->n37_a_potter_1902_22 n37_a_potter_1902_24 BED;_ex_V_ n37_a_potter_1902_21->n37_a_potter_1902_24 n37_a_potter_1902_26 NP-ESBJ n37_a_potter_1902_21->n37_a_potter_1902_26 n37_a_potter_1902_31 PP-NIM n37_a_potter_1902_21->n37_a_potter_1902_31 n37_a_potter_1902_22->n37_a_potter_1902_23 n37_a_potter_1902_24->n37_a_potter_1902_25 n37_a_potter_1902_27 Q n37_a_potter_1902_26->n37_a_potter_1902_27 n37_a_potter_1902_29 N n37_a_potter_1902_26->n37_a_potter_1902_29 n37_a_potter_1902_27->n37_a_potter_1902_28 n37_a_potter_1902_29->n37_a_potter_1902_30 n37_a_potter_1902_32 P-ROLE n37_a_potter_1902_31->n37_a_potter_1902_32 n37_a_potter_1902_34 NP n37_a_potter_1902_31->n37_a_potter_1902_34 n37_a_potter_1902_32->n37_a_potter_1902_33 n37_a_potter_1902_35 D n37_a_potter_1902_34->n37_a_potter_1902_35 n37_a_potter_1902_37 ADJP n37_a_potter_1902_34->n37_a_potter_1902_37 n37_a_potter_1902_40 ADJP n37_a_potter_1902_34->n37_a_potter_1902_40 n37_a_potter_1902_43 N n37_a_potter_1902_34->n37_a_potter_1902_43 n37_a_potter_1902_45 IP-INF-REL n37_a_potter_1902_34->n37_a_potter_1902_45 n37_a_potter_1902_35->n37_a_potter_1902_36 n37_a_potter_1902_38 ADJ n37_a_potter_1902_37->n37_a_potter_1902_38 n37_a_potter_1902_38->n37_a_potter_1902_39 n37_a_potter_1902_41 ADJ n37_a_potter_1902_40->n37_a_potter_1902_41 n37_a_potter_1902_41->n37_a_potter_1902_42 n37_a_potter_1902_43->n37_a_potter_1902_44 n37_a_potter_1902_46 NP-SBJ n37_a_potter_1902_45->n37_a_potter_1902_46 n37_a_potter_1902_48 TO n37_a_potter_1902_45->n37_a_potter_1902_48 n37_a_potter_1902_50 VB;_I_ n37_a_potter_1902_45->n37_a_potter_1902_50 n37_a_potter_1902_52 ADVP-NIM n37_a_potter_1902_45->n37_a_potter_1902_52 n37_a_potter_1902_46->n37_a_potter_1902_47 n37_a_potter_1902_48->n37_a_potter_1902_49 n37_a_potter_1902_50->n37_a_potter_1902_51 n37_a_potter_1902_53 ADV n37_a_potter_1902_52->n37_a_potter_1902_53 n37_a_potter_1902_53->n37_a_potter_1902_54 n37_a_potter_1902_55->n37_a_potter_1902_56 
( (IP-MAT (CONJ;_cl_ but;{but})
          (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}))
                             (PP-NIM (P-ROLE for;{for})
                                     (NP (D a;{a})
                                         (ADJP (ADJ fat;{fat}))
                                         (ADJP (ADJ little;{little}))
                                         (N rabbit;{rabbit})
                                         (IP-INF-REL (NP-SBJ *T*)
                                                     (TO to;{to})
                                                     (VB;_I_ squeeze;{squeeze[underneath]})
                                                     (ADVP-NIM (ADV underneath;{underneath}))))))))
          (PUNC .))
  (ID 37_a_potter_1902))