Context                Previous, Next                Top


25_a_potter_1902
It would have been a beautiful thing to hide in, if it had not had so much water in it.

%3 r_0025_0002__would would r_0025_0003__have have r_0025_0002__would->r_0025_0003__have [scope] r_0025_0004__been been r_0025_0003__have->r_0025_0004__been [scope] r_0025_0001__It It r_0025_0004__been->r_0025_0001__It [arg0] r_0025_0005__a_r_0025_0007__thing a thing r_0025_0004__been->r_0025_0005__a_r_0025_0007__thing [prd] r_0025_0006__beautiful beautiful r_0025_0005__a_r_0025_0007__thing->r_0025_0006__beautiful [attrib] r_0025_0008__to_r_0025_0009__hide to hide r_0025_0008__to_r_0025_0009__hide->r_0025_0005__a_r_0025_0007__thing in [clr] z_000_25_a_potter_1902_22 r_0025_0008__to_r_0025_0009__hide->z_000_25_a_potter_1902_22 [arg0] r_0025_0012__if if r_0025_0012__if->r_0025_0002__would [scope] r_0025_0015__not not r_0025_0012__if->r_0025_0015__not [restriction] r_0025_0014__had had r_0025_0015__not->r_0025_0014__had [keep_scope] r_0025_0016__had had r_0025_0014__had->r_0025_0016__had [scope] r_0025_0016__had->r_0025_0001__It [arg0] r_0025_0016__had->r_0025_0001__It in [nim] r_0025_0019__water water r_0025_0016__had->r_0025_0019__water [arg1] r_0025_0018__much much r_0025_0019__water->r_0025_0018__much [attrib] r_0025_0017__so so r_0025_0018__much->r_0025_0017__so [qual] 
arc(r_0025_0002__would, r_0025_0003__have, scope).
arc(r_0025_0003__have, r_0025_0004__been, scope).
arc(r_0025_0004__been, r_0025_0001__It, arg0).
arc(r_0025_0004__been, r_0025_0005__a_r_0025_0007__thing, prd).
arc(r_0025_0005__a_r_0025_0007__thing, r_0025_0006__beautiful, attrib17).
arc(r_0025_0008__to_r_0025_0009__hide, r_0025_0005__a_r_0025_0007__thing, r_0025_0010__in_clr30).
arc(r_0025_0008__to_r_0025_0009__hide, z_000_25_a_potter_1902_22, arg0).
arc(r_0025_0012__if, r_0025_0002__would, scope).
arc(r_0025_0012__if, r_0025_0015__not, restriction).
arc(r_0025_0014__had, r_0025_0016__had, scope).
arc(r_0025_0015__not, r_0025_0014__had, keep_scope).
arc(r_0025_0016__had, r_0025_0001__It, arg0).
arc(r_0025_0016__had, r_0025_0001__It, r_0025_0020__in_nim60).
arc(r_0025_0016__had, r_0025_0019__water, arg1).
arc(r_0025_0018__much, r_0025_0017__so, qual50).
arc(r_0025_0019__water, r_0025_0018__much, attrib49).


%3 r_0025_0002__would_r_0025_0003__have_r_0025_0004__been would have been r_0025_0001__It It r_0025_0002__would_r_0025_0003__have_r_0025_0004__been->r_0025_0001__It [arg0] r_0025_0005__a_r_0025_0007__thing a thing r_0025_0002__would_r_0025_0003__have_r_0025_0004__been->r_0025_0005__a_r_0025_0007__thing [prd] r_0025_0006__beautiful beautiful r_0025_0005__a_r_0025_0007__thing->r_0025_0006__beautiful [attrib] r_0025_0008__to_r_0025_0009__hide to hide r_0025_0008__to_r_0025_0009__hide->r_0025_0005__a_r_0025_0007__thing in [clr] z_000_25_a_potter_1902_22 r_0025_0008__to_r_0025_0009__hide->z_000_25_a_potter_1902_22 [arg0] r_0025_0012__if if r_0025_0012__if->r_0025_0002__would_r_0025_0003__have_r_0025_0004__been [scope] r_0025_0015__not not r_0025_0012__if->r_0025_0015__not [restriction] r_0025_0014__had_r_0025_0016__had had had r_0025_0015__not->r_0025_0014__had_r_0025_0016__had [keep_scope] r_0025_0014__had_r_0025_0016__had->r_0025_0001__It [arg0] r_0025_0014__had_r_0025_0016__had->r_0025_0001__It in [nim] r_0025_0019__water water r_0025_0014__had_r_0025_0016__had->r_0025_0019__water [arg1] r_0025_0018__much much r_0025_0019__water->r_0025_0018__much [attrib] r_0025_0017__so so r_0025_0018__much->r_0025_0017__so [qual] 
fof(formula,axiom,
    ? [R_25_8_TO_HIDE,Z_25_A_POTTER_1902_22,R_25_5_A_THING,R_25_6_BEAUTIFUL] :
      ( beautiful(R_25_6_BEAUTIFUL)
      & to_hide(R_25_8_TO_HIDE,Z_25_A_POTTER_1902_22)
      & in_clr30(R_25_8_TO_HIDE,R_25_5_A_THING)
      & a_thing(R_25_5_A_THING)
      & attrib17(R_25_5_A_THING,R_25_6_BEAUTIFUL)
      & ( ~ ? [R_25_14_HAD_HAD,R_25_19_WATER,R_25_18_MUCH,R_25_17_SO,R_25_1_IT] :
              ( so(R_25_17_SO)
              & it(R_25_1_IT)
              & had_had(R_25_14_HAD_HAD,R_25_1_IT,R_25_19_WATER)
              & water(R_25_19_WATER)
              & attrib49(R_25_19_WATER,R_25_18_MUCH)
              & much(R_25_18_MUCH)
              & qual50(R_25_18_MUCH,R_25_17_SO)
              & in_nim60(R_25_14_HAD_HAD,R_25_1_IT) )
       => ? [R_25_2_WOULD_HAVE_BEEN,R_25_1_IT] :
            ( it(R_25_1_IT)
            & would_have_been(R_25_2_WOULD_HAVE_BEEN,R_25_1_IT,R_25_5_A_THING) ) ) ) ).


n25_a_potter_1902 n25_a_potter_1902_4 It n25_a_potter_1902_7 would n25_a_potter_1902_10 have n25_a_potter_1902_13 been n25_a_potter_1902_16 a n25_a_potter_1902_19 beautiful n25_a_potter_1902_21 thing n25_a_potter_1902_24 to n25_a_potter_1902_26 hide n25_a_potter_1902_29 in n25_a_potter_1902_31 *T* n25_a_potter_1902_33 , n25_a_potter_1902_36 if n25_a_potter_1902_40 it n25_a_potter_1902_42 had n25_a_potter_1902_44 not n25_a_potter_1902_47 had n25_a_potter_1902_52 so n25_a_potter_1902_54 much n25_a_potter_1902_56 water n25_a_potter_1902_59 in n25_a_potter_1902_62 it n25_a_potter_1902_64 . n25_a_potter_1902_1 IP-MAT n25_a_potter_1902_2 NP-SBJ n25_a_potter_1902_1->n25_a_potter_1902_2 n25_a_potter_1902_5 ILYR n25_a_potter_1902_1->n25_a_potter_1902_5 n25_a_potter_1902_32 PUNC n25_a_potter_1902_1->n25_a_potter_1902_32 n25_a_potter_1902_34 PP-SCON n25_a_potter_1902_1->n25_a_potter_1902_34 n25_a_potter_1902_63 PUNC n25_a_potter_1902_1->n25_a_potter_1902_63 n25_a_potter_1902_3 PRO n25_a_potter_1902_2->n25_a_potter_1902_3 n25_a_potter_1902_3->n25_a_potter_1902_4 n25_a_potter_1902_6 MD;_cat_Vi_ n25_a_potter_1902_5->n25_a_potter_1902_6 n25_a_potter_1902_8 IP-INF-CAT n25_a_potter_1902_5->n25_a_potter_1902_8 n25_a_potter_1902_6->n25_a_potter_1902_7 n25_a_potter_1902_9 HV;_cat_Ve_ n25_a_potter_1902_8->n25_a_potter_1902_9 n25_a_potter_1902_11 IP-PPL-CAT n25_a_potter_1902_8->n25_a_potter_1902_11 n25_a_potter_1902_9->n25_a_potter_1902_10 n25_a_potter_1902_12 BEN;_Ln_ n25_a_potter_1902_11->n25_a_potter_1902_12 n25_a_potter_1902_14 NP-PRD n25_a_potter_1902_11->n25_a_potter_1902_14 n25_a_potter_1902_12->n25_a_potter_1902_13 n25_a_potter_1902_15 D n25_a_potter_1902_14->n25_a_potter_1902_15 n25_a_potter_1902_17 ADJP n25_a_potter_1902_14->n25_a_potter_1902_17 n25_a_potter_1902_20 N n25_a_potter_1902_14->n25_a_potter_1902_20 n25_a_potter_1902_22 IP-INF-REL n25_a_potter_1902_14->n25_a_potter_1902_22 n25_a_potter_1902_15->n25_a_potter_1902_16 n25_a_potter_1902_18 ADJ n25_a_potter_1902_17->n25_a_potter_1902_18 n25_a_potter_1902_18->n25_a_potter_1902_19 n25_a_potter_1902_20->n25_a_potter_1902_21 n25_a_potter_1902_23 TO n25_a_potter_1902_22->n25_a_potter_1902_23 n25_a_potter_1902_25 VB;_Ipr_ n25_a_potter_1902_22->n25_a_potter_1902_25 n25_a_potter_1902_27 PP-CLR n25_a_potter_1902_22->n25_a_potter_1902_27 n25_a_potter_1902_23->n25_a_potter_1902_24 n25_a_potter_1902_25->n25_a_potter_1902_26 n25_a_potter_1902_28 P-ROLE n25_a_potter_1902_27->n25_a_potter_1902_28 n25_a_potter_1902_30 NP n25_a_potter_1902_27->n25_a_potter_1902_30 n25_a_potter_1902_28->n25_a_potter_1902_29 n25_a_potter_1902_30->n25_a_potter_1902_31 n25_a_potter_1902_32->n25_a_potter_1902_33 n25_a_potter_1902_35 P-CONN n25_a_potter_1902_34->n25_a_potter_1902_35 n25_a_potter_1902_37 IP-ADV n25_a_potter_1902_34->n25_a_potter_1902_37 n25_a_potter_1902_35->n25_a_potter_1902_36 n25_a_potter_1902_38 NP-SBJ n25_a_potter_1902_37->n25_a_potter_1902_38 n25_a_potter_1902_41 HVD;_cat_Ve_ n25_a_potter_1902_37->n25_a_potter_1902_41 n25_a_potter_1902_43 NEG n25_a_potter_1902_37->n25_a_potter_1902_43 n25_a_potter_1902_45 IP-PPL-CAT n25_a_potter_1902_37->n25_a_potter_1902_45 n25_a_potter_1902_39 PRO n25_a_potter_1902_38->n25_a_potter_1902_39 n25_a_potter_1902_39->n25_a_potter_1902_40 n25_a_potter_1902_41->n25_a_potter_1902_42 n25_a_potter_1902_43->n25_a_potter_1902_44 n25_a_potter_1902_46 HVN;_Tn_ n25_a_potter_1902_45->n25_a_potter_1902_46 n25_a_potter_1902_48 NP-OB1 n25_a_potter_1902_45->n25_a_potter_1902_48 n25_a_potter_1902_57 PP-NIM n25_a_potter_1902_45->n25_a_potter_1902_57 n25_a_potter_1902_46->n25_a_potter_1902_47 n25_a_potter_1902_49 ADJP n25_a_potter_1902_48->n25_a_potter_1902_49 n25_a_potter_1902_55 N n25_a_potter_1902_48->n25_a_potter_1902_55 n25_a_potter_1902_50 ADVP n25_a_potter_1902_49->n25_a_potter_1902_50 n25_a_potter_1902_53 ADJ n25_a_potter_1902_49->n25_a_potter_1902_53 n25_a_potter_1902_51 ADV n25_a_potter_1902_50->n25_a_potter_1902_51 n25_a_potter_1902_51->n25_a_potter_1902_52 n25_a_potter_1902_53->n25_a_potter_1902_54 n25_a_potter_1902_55->n25_a_potter_1902_56 n25_a_potter_1902_58 P-ROLE n25_a_potter_1902_57->n25_a_potter_1902_58 n25_a_potter_1902_60 NP n25_a_potter_1902_57->n25_a_potter_1902_60 n25_a_potter_1902_58->n25_a_potter_1902_59 n25_a_potter_1902_61 PRO n25_a_potter_1902_60->n25_a_potter_1902_61 n25_a_potter_1902_61->n25_a_potter_1902_62 n25_a_potter_1902_63->n25_a_potter_1902_64 
( (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 25_a_potter_1902))