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.
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).
fof(formula,axiom,
? [R_0030_0001__HE,R_0030_0006__A_R_0030_0007__WALL,R_0030_0003__A_R_0030_0004__DOOR,R_0030_0002__FOUND,Z_000_30_A_POTTER_1902_36,R_0030_0011__WAS_R_0030_0012__LOCKED,R_0030_0014__AND,R_0030_0009__BUT] :
( r_0030_0001__He(R_0030_0001__HE)
& r_0030_0006__a_r_0030_0007__wall(R_0030_0006__A_R_0030_0007__WALL)
& z_000_30_a_potter_1902_36(Z_000_30_A_POTTER_1902_36)
& r_0030_0009__but(R_0030_0009__BUT)
& has_conj2(R_0030_0009__BUT,R_0030_0014__AND)
& r_0030_0014__and(R_0030_0014__AND)
& ! [R_0030_0018__ROOM,R_0030_0021__FAT,R_0030_0022__LITTLE,R_0030_0020__A_R_0030_0023__RABBIT,R_0030_0019__FOR_R_0030_0024__TO_R_0030_0025__SQUEEZE] :
( ( r_0030_0018__room(R_0030_0018__ROOM)
& r_0030_0021__fat(R_0030_0021__FAT)
& r_0030_0022__little(R_0030_0022__LITTLE)
& r_0030_0019__for_r_0030_0024__to_r_0030_0025__squeeze(R_0030_0019__FOR_R_0030_0024__TO_R_0030_0025__SQUEEZE)
& has_arg0(R_0030_0019__FOR_R_0030_0024__TO_R_0030_0025__SQUEEZE,R_0030_0020__A_R_0030_0023__RABBIT)
& r_0030_0020__a_r_0030_0023__rabbit(R_0030_0020__A_R_0030_0023__RABBIT)
& has_attrib64(R_0030_0020__A_R_0030_0023__RABBIT,R_0030_0022__LITTLE)
& has_attrib61(R_0030_0020__A_R_0030_0023__RABBIT,R_0030_0021__FAT)
& has_r_0030_0026__underneath_clr76(R_0030_0019__FOR_R_0030_0024__TO_R_0030_0025__SQUEEZE,R_0030_0018__ROOM) )
=> ? [R_0030_0015__THERE_R_0030_0016__WAS] :
( r_0030_0015__there_r_0030_0016__was(R_0030_0015__THERE_R_0030_0016__WAS)
& has_arg0(R_0030_0015__THERE_R_0030_0016__WAS,R_0030_0018__ROOM) ) )
& has_conj1(R_0030_0014__AND,R_0030_0011__WAS_R_0030_0012__LOCKED)
& r_0030_0011__was_r_0030_0012__locked(R_0030_0011__WAS_R_0030_0012__LOCKED)
& has_arg0(R_0030_0011__WAS_R_0030_0012__LOCKED,Z_000_30_A_POTTER_1902_36)
& has_arg1(R_0030_0011__WAS_R_0030_0012__LOCKED,R_0030_0003__A_R_0030_0004__DOOR)
& r_0030_0003__a_r_0030_0004__door(R_0030_0003__A_R_0030_0004__DOOR)
& has_r_0030_0005__in(R_0030_0003__A_R_0030_0004__DOOR,R_0030_0006__A_R_0030_0007__WALL)
& has_conj1(R_0030_0009__BUT,R_0030_0002__FOUND)
& r_0030_0002__found(R_0030_0002__FOUND)
& has_arg1(R_0030_0002__FOUND,R_0030_0003__A_R_0030_0004__DOOR)
& has_arg0(R_0030_0002__FOUND,R_0030_0001__HE) ) ).
( (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))