20_a_potter_1902
It would have been a beautiful thing to hide in, if it had not had so much water in it.
arc(r_0020_0002__would, r_0020_0003__have, scope).
arc(r_0020_0003__have, r_0020_0004__been, scope).
arc(r_0020_0004__been, r_0020_0001__It, arg0).
arc(r_0020_0004__been, r_0020_0005__a_r_0020_0007__thing, prd).
arc(r_0020_0005__a_r_0020_0007__thing, r_0020_0006__beautiful, attrib17).
arc(r_0020_0008__to_r_0020_0009__hide, r_0020_0005__a_r_0020_0007__thing, r_0020_0010__in_clr30).
arc(r_0020_0008__to_r_0020_0009__hide, z_000_20_a_potter_1902_22, arg0).
arc(r_0020_0012__if, r_0020_0002__would, scope).
arc(r_0020_0012__if, r_0020_0015__not, restriction).
arc(r_0020_0014__had, r_0020_0016__had, scope).
arc(r_0020_0015__not, r_0020_0014__had, keep_scope).
arc(r_0020_0016__had, r_0020_0001__It, arg0).
arc(r_0020_0016__had, r_0020_0001__It, r_0020_0020__in_nim60).
arc(r_0020_0016__had, r_0020_0019__water, arg1).
arc(r_0020_0018__much, r_0020_0017__so, qual50).
arc(r_0020_0019__water, r_0020_0018__much, attrib49).
fof(formula,axiom,
? [R_0020_0006__BEAUTIFUL,R_0020_0005__A_R_0020_0007__THING,Z_000_20_A_POTTER_1902_22,R_0020_0008__TO_R_0020_0009__HIDE] :
( r_0020_0006__beautiful(R_0020_0006__BEAUTIFUL)
& z_000_20_a_potter_1902_22(Z_000_20_A_POTTER_1902_22)
& ! [R_0020_0015__NOT] :
( ~ ? [R_0020_0001__IT,R_0020_0017__SO,R_0020_0018__MUCH,R_0020_0019__WATER,R_0020_0014__HAD_R_0020_0016__HAD] :
( r_0020_0001__It(R_0020_0001__IT)
& r_0020_0017__so(R_0020_0017__SO)
& r_0020_0014__had_r_0020_0016__had(R_0020_0014__HAD_R_0020_0016__HAD)
& has_arg1(R_0020_0014__HAD_R_0020_0016__HAD,R_0020_0019__WATER)
& r_0020_0019__water(R_0020_0019__WATER)
& has_attrib49(R_0020_0019__WATER,R_0020_0018__MUCH)
& r_0020_0018__much(R_0020_0018__MUCH)
& has_qual50(R_0020_0018__MUCH,R_0020_0017__SO)
& has_r_0020_0020__in_nim60(R_0020_0014__HAD_R_0020_0016__HAD,R_0020_0001__IT)
& has_arg0(R_0020_0014__HAD_R_0020_0016__HAD,R_0020_0001__IT) )
=> ? [R_0020_0001__IT,R_0020_0002__WOULD_R_0020_0003__HAVE_R_0020_0004__BEEN] :
( r_0020_0001__It(R_0020_0001__IT)
& r_0020_0002__would_r_0020_0003__have_r_0020_0004__been(R_0020_0002__WOULD_R_0020_0003__HAVE_R_0020_0004__BEEN)
& has_prd(R_0020_0002__WOULD_R_0020_0003__HAVE_R_0020_0004__BEEN,R_0020_0005__A_R_0020_0007__THING)
& has_arg0(R_0020_0002__WOULD_R_0020_0003__HAVE_R_0020_0004__BEEN,R_0020_0001__IT) ) )
& r_0020_0008__to_r_0020_0009__hide(R_0020_0008__TO_R_0020_0009__HIDE)
& has_arg0(R_0020_0008__TO_R_0020_0009__HIDE,Z_000_20_A_POTTER_1902_22)
& has_r_0020_0010__in_clr30(R_0020_0008__TO_R_0020_0009__HIDE,R_0020_0005__A_R_0020_0007__THING)
& r_0020_0005__a_r_0020_0007__thing(R_0020_0005__A_R_0020_0007__THING)
& has_attrib17(R_0020_0005__A_R_0020_0007__THING,R_0020_0006__BEAUTIFUL) ) ).
( (IP-MAT (NP-SBJ;{CONTAINER} (PRO It;{it}))
(ILYR (MD;_cat_Vi_ would;{will})
(IP-INF-CAT (HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (BEN;_Ln_ been;{be})
(NP-PRD (D a;{a})
(ADJP (ADJ beautiful;{beautiful}))
(N thing;{thing})
(IP-INF-REL (TO to;{to})
(VB;_Ipr_ hide;{hide[in]})
(PP-CLR (P-ROLE in;{in})
(NP *T*)))))))
(PUNC ,)
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ;{CONTAINER} (PRO it;{it}))
(HVD;_cat_Ve_ had;{have})
(NEG not;{not})
(IP-PPL-CAT (HVN;_Tn_ had;{have})
(NP-OB1 (ADJP (ADVP (ADV so;{so}))
(ADJ much;{much}))
(N water;{water}))
(PP-NIM (P-ROLE in;{in})
(NP;{CONTAINER} (PRO it;{it}))))))
(PUNC .))
(ID 20_a_potter_1902))