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.
( (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))
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_0030_5006___star_,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_0016__was,r_0030_0018__room,arg0).
arc(r_0030_0017__no__quant,r_0030_0016__was,scope).
arc(r_0030_0017__no__quant,r_0030_0018__room,restriction).
arc(r_0030_0020__a_r_0030_0023__rabbit,r_0030_0021__fat,attrib).
arc(r_0030_0020__a_r_0030_0023__rabbit,r_0030_0022__little,attrib).
arc(r_0030_0025__squeeze_r_0030_0026__underneath,r_0030_0018__room,arg1).
arc(r_0030_0025__squeeze_r_0030_0026__underneath,r_0030_0020__a_r_0030_0023__rabbit,arg0).
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_0030_5006___STAR_,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_0030_5006___star_(Z_0030_5006___STAR_)
& 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_0025__SQUEEZE_R_0030_0026__UNDERNEATH] :
( ( 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_0025__squeeze_r_0030_0026__underneath(R_0030_0025__SQUEEZE_R_0030_0026__UNDERNEATH)
& has_arg0(R_0030_0025__SQUEEZE_R_0030_0026__UNDERNEATH,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_attrib(R_0030_0020__A_R_0030_0023__RABBIT,R_0030_0022__LITTLE)
& has_attrib(R_0030_0020__A_R_0030_0023__RABBIT,R_0030_0021__FAT)
& has_arg1(R_0030_0025__SQUEEZE_R_0030_0026__UNDERNEATH,R_0030_0018__ROOM) )
=> ? [R_0030_0016__WAS] :
( r_0030_0016__was(R_0030_0016__WAS)
& has_arg0(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_0030_5006___STAR_)
& 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) ) ).