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_20_8_TO_HIDE,Z_20_A_POTTER_1902_22,R_20_5_A_THING,R_20_6_BEAUTIFUL] :
( beautiful(R_20_6_BEAUTIFUL)
& to_hide(R_20_8_TO_HIDE,Z_20_A_POTTER_1902_22)
& in_clr30(R_20_8_TO_HIDE,R_20_5_A_THING)
& a_thing(R_20_5_A_THING)
& attrib17(R_20_5_A_THING,R_20_6_BEAUTIFUL)
& ( ~ ? [R_20_14_HAD_HAD,R_20_19_WATER,R_20_18_MUCH,R_20_17_SO,R_20_1_IT] :
( so(R_20_17_SO)
& it(R_20_1_IT)
& had_had(R_20_14_HAD_HAD,R_20_1_IT,R_20_19_WATER)
& water(R_20_19_WATER)
& attrib49(R_20_19_WATER,R_20_18_MUCH)
& much(R_20_18_MUCH)
& qual50(R_20_18_MUCH,R_20_17_SO)
& in_nim60(R_20_14_HAD_HAD,R_20_1_IT) )
=> ? [R_20_2_WOULD_HAVE_BEEN,R_20_1_IT] :
( it(R_20_1_IT)
& would_have_been(R_20_2_WOULD_HAVE_BEEN,R_20_1_IT,R_20_5_A_THING) ) ) ) ).
( (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))