( (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))

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,attrib).
arc(r_0020_0009__hide,r_0020_0005__a_r_0020_0007__thing,r_0020_0010__in__inv_clr).
arc(r_0020_0009__hide,z_0020_5016,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__nim).
arc(r_0020_0016__had,r_0020_0019__water,arg1).
arc(r_0020_0018__much,r_0020_0017__so,qual).
arc(r_0020_0019__water,r_0020_0018__much,attrib).

fof(formula,axiom,
    ! [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_attrib(R_0020_0019__WATER,R_0020_0018__MUCH)
            & r_0020_0018__much(R_0020_0018__MUCH)
            & has_qual(R_0020_0018__MUCH,R_0020_0017__SO)
            & has_r_0020_0020__in__nim(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_0006__BEAUTIFUL,Z_0020_5016,R_0020_0009__HIDE,R_0020_0005__A_R_0020_0007__THING,R_0020_0002__WOULD_R_0020_0003__HAVE_R_0020_0004__BEEN] :
          ( r_0020_0001__It(R_0020_0001__IT)
          & r_0020_0006__beautiful(R_0020_0006__BEAUTIFUL)
          & z_0020_5016(Z_0020_5016)
          & 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)
          & r_0020_0005__a_r_0020_0007__thing(R_0020_0005__A_R_0020_0007__THING)
          & has_r_0020_0010__in__inv_clr(R_0020_0005__A_R_0020_0007__THING,R_0020_0009__HIDE)
          & r_0020_0009__hide(R_0020_0009__HIDE)
          & has_arg0(R_0020_0009__HIDE,Z_0020_5016)
          & has_attrib(R_0020_0005__A_R_0020_0007__THING,R_0020_0006__BEAUTIFUL)
          & has_arg0(R_0020_0002__WOULD_R_0020_0003__HAVE_R_0020_0004__BEEN,R_0020_0001__IT) ) ) ).