Context                Previous, Next                Top


51_a_alresford
Local ducks were often pedestrians up the road, so when new bungalows replaced the old Dean Junior School, I liked the name Mallard Close.

%3 r_0051_0002__ducks ducks r_0051_0001__Local Local r_0051_0002__ducks->r_0051_0001__Local [attrib] r_0051_0003__were were r_0051_0003__were->r_0051_0002__ducks [arg0] r_0051_0004__often often r_0051_0003__were->r_0051_0004__often [nim] r_0051_0005__pedestrians pedestrians r_0051_0003__were->r_0051_0005__pedestrians [prd] r_0051_0007__the_r_0051_0008__road the road r_0051_0005__pedestrians->r_0051_0007__the_r_0051_0008__road up r_0051_0011__when when r_0051_0014__replaced replaced r_0051_0011__when->r_0051_0014__replaced [restriction] r_0051_0022__liked liked r_0051_0011__when->r_0051_0022__liked [scope] r_0051_0013__bungalows bungalows r_0051_0014__replaced->r_0051_0013__bungalows [arg0] r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School the Dean Junior School r_0051_0014__replaced->r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School [arg1] r_0051_0010__so so r_0051_0022__liked->r_0051_0010__so [nim] r_0051_0021__I I r_0051_0022__liked->r_0051_0021__I [arg0] r_0051_0023__the_r_0051_0024__name the name r_0051_0022__liked->r_0051_0023__the_r_0051_0024__name [arg1] r_0051_0012__new new r_0051_0013__bungalows->r_0051_0012__new [attrib] r_0051_0016__old old r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School->r_0051_0016__old [attrib] z_000_51_a_alresford_2 z_000_51_a_alresford_2->r_0051_0003__were [conj1] z_000_51_a_alresford_2->r_0051_0011__when [conj2] z_000_51_a_alresford_69 z_000_51_a_alresford_69->r_0051_0023__the_r_0051_0024__name [arg0] r_0051_0025__Mallard_r_0051_0026__Close Mallard Close z_000_51_a_alresford_69->r_0051_0025__Mallard_r_0051_0026__Close [prd] 
arc(r_0051_0002__ducks, r_0051_0001__Local, attrib5).
arc(r_0051_0003__were, r_0051_0002__ducks, arg0).
arc(r_0051_0003__were, r_0051_0004__often, nim12).
arc(r_0051_0003__were, r_0051_0005__pedestrians, prd).
arc(r_0051_0005__pedestrians, r_0051_0007__the_r_0051_0008__road, r_0051_0006__up).
arc(r_0051_0011__when, r_0051_0014__replaced, restriction).
arc(r_0051_0011__when, r_0051_0022__liked, scope).
arc(r_0051_0013__bungalows, r_0051_0012__new, attrib38).
arc(r_0051_0014__replaced, r_0051_0013__bungalows, arg0).
arc(r_0051_0014__replaced, r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School, arg1).
arc(r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School, r_0051_0016__old, attrib48).
arc(r_0051_0022__liked, r_0051_0010__so, nim30).
arc(r_0051_0022__liked, r_0051_0021__I, arg0).
arc(r_0051_0022__liked, r_0051_0023__the_r_0051_0024__name, arg1).
arc(z_000_51_a_alresford_2, r_0051_0003__were, conj1).
arc(z_000_51_a_alresford_2, r_0051_0011__when, conj2).
arc(z_000_51_a_alresford_69, r_0051_0023__the_r_0051_0024__name, arg0).
arc(z_000_51_a_alresford_69, r_0051_0025__Mallard_r_0051_0026__Close, prd).


%3 r_0051_0002__ducks ducks r_0051_0001__Local Local r_0051_0002__ducks->r_0051_0001__Local [attrib] r_0051_0003__were were r_0051_0003__were->r_0051_0002__ducks [arg0] r_0051_0004__often often r_0051_0003__were->r_0051_0004__often [nim] r_0051_0005__pedestrians pedestrians r_0051_0003__were->r_0051_0005__pedestrians [prd] r_0051_0007__the_r_0051_0008__road the road r_0051_0005__pedestrians->r_0051_0007__the_r_0051_0008__road up r_0051_0011__when when r_0051_0014__replaced replaced r_0051_0011__when->r_0051_0014__replaced [restriction] r_0051_0022__liked liked r_0051_0011__when->r_0051_0022__liked [scope] r_0051_0013__bungalows bungalows r_0051_0014__replaced->r_0051_0013__bungalows [arg0] r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School the Dean Junior School r_0051_0014__replaced->r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School [arg1] r_0051_0010__so so r_0051_0022__liked->r_0051_0010__so [nim] r_0051_0021__I I r_0051_0022__liked->r_0051_0021__I [arg0] r_0051_0023__the_r_0051_0024__name the name r_0051_0022__liked->r_0051_0023__the_r_0051_0024__name [arg1] r_0051_0012__new new r_0051_0013__bungalows->r_0051_0012__new [attrib] r_0051_0016__old old r_0051_0015__the_r_0051_0017__Dean_r_0051_0018__Junior_r_0051_0019__School->r_0051_0016__old [attrib] z_000_51_a_alresford_2 z_000_51_a_alresford_2->r_0051_0003__were [conj1] z_000_51_a_alresford_2->r_0051_0011__when [conj2] z_000_51_a_alresford_69 z_000_51_a_alresford_69->r_0051_0023__the_r_0051_0024__name [arg0] r_0051_0025__Mallard_r_0051_0026__Close Mallard Close z_000_51_a_alresford_69->r_0051_0025__Mallard_r_0051_0026__Close [prd] 
fof(formula,axiom,
    ? [Z_51_A_ALRESFORD_2,R_51_3_WERE,R_51_2_DUCKS,R_51_1_LOCAL,R_51_4_OFTEN,R_51_5_PEDESTRIANS,R_51_7_THE_ROAD,Z_51_A_ALRESFORD_69,R_51_23_THE_NAME,R_51_25_MALLARD_CLOSE] :
      ( local(R_51_1_LOCAL)
      & often(R_51_4_OFTEN)
      & the_road(R_51_7_THE_ROAD)
      & the_name(R_51_23_THE_NAME)
      & mallard_Close(R_51_25_MALLARD_CLOSE)
      & ! [R_51_14_REPLACED,R_51_13_BUNGALOWS,R_51_12_NEW,R_51_15_THE_DEAN_JUNIOR_SCHOOL,R_51_16_OLD] :
          ( ( new(R_51_12_NEW)
            & old(R_51_16_OLD)
            & replaced(R_51_14_REPLACED,R_51_13_BUNGALOWS,R_51_15_THE_DEAN_JUNIOR_SCHOOL)
            & bungalows(R_51_13_BUNGALOWS)
            & attrib38(R_51_13_BUNGALOWS,R_51_12_NEW)
            & the_Dean_Junior_School(R_51_15_THE_DEAN_JUNIOR_SCHOOL)
            & attrib48(R_51_15_THE_DEAN_JUNIOR_SCHOOL,R_51_16_OLD) )
         => ? [R_51_22_LIKED,R_51_21_I,R_51_10_SO] :
              ( i(R_51_21_I)
              & so(R_51_10_SO)
              & liked(R_51_22_LIKED,R_51_21_I,R_51_23_THE_NAME)
              & nim30(R_51_22_LIKED,R_51_10_SO) ) )
      & conj2(CONJ2)
      & z_51_a_alresford_2(Z_51_A_ALRESFORD_2)
      & conj1(Z_51_A_ALRESFORD_2,R_51_3_WERE)
      & were(R_51_3_WERE,R_51_2_DUCKS,R_51_5_PEDESTRIANS)
      & ducks(R_51_2_DUCKS)
      & attrib5(R_51_2_DUCKS,R_51_1_LOCAL)
      & pedestrians(R_51_5_PEDESTRIANS)
      & up(R_51_5_PEDESTRIANS,R_51_7_THE_ROAD)
      & nim12(R_51_3_WERE,R_51_4_OFTEN)
      & z_51_a_alresford_69(Z_51_A_ALRESFORD_69,R_51_23_THE_NAME,R_51_25_MALLARD_CLOSE) ) ).


n51_a_alresford n51_a_alresford_7 Local n51_a_alresford_9 ducks n51_a_alresford_11 were n51_a_alresford_14 often n51_a_alresford_17 pedestrians n51_a_alresford_20 up n51_a_alresford_23 the n51_a_alresford_25 road n51_a_alresford_27 , n51_a_alresford_32 so n51_a_alresford_35 when n51_a_alresford_40 new n51_a_alresford_42 bungalows n51_a_alresford_44 replaced n51_a_alresford_47 the n51_a_alresford_50 old n51_a_alresford_52 Dean n51_a_alresford_54 Junior n51_a_alresford_56 School n51_a_alresford_58 , n51_a_alresford_61 I n51_a_alresford_63 liked n51_a_alresford_66 the n51_a_alresford_68 name n51_a_alresford_72 Mallard n51_a_alresford_74 Close n51_a_alresford_76 . n51_a_alresford_1 IP-MAT n51_a_alresford_2 ILYR n51_a_alresford_1->n51_a_alresford_2 n51_a_alresford_75 PUNC n51_a_alresford_1->n51_a_alresford_75 n51_a_alresford_3 ILYR n51_a_alresford_2->n51_a_alresford_3 n51_a_alresford_26 PUNC n51_a_alresford_2->n51_a_alresford_26 n51_a_alresford_28 CONJP n51_a_alresford_2->n51_a_alresford_28 n51_a_alresford_4 NP-SBJ n51_a_alresford_3->n51_a_alresford_4 n51_a_alresford_10 BED;_Ln_ n51_a_alresford_3->n51_a_alresford_10 n51_a_alresford_12 ADVP-NIM n51_a_alresford_3->n51_a_alresford_12 n51_a_alresford_15 NP-PRD n51_a_alresford_3->n51_a_alresford_15 n51_a_alresford_5 ADJP n51_a_alresford_4->n51_a_alresford_5 n51_a_alresford_8 NS n51_a_alresford_4->n51_a_alresford_8 n51_a_alresford_6 ADJ n51_a_alresford_5->n51_a_alresford_6 n51_a_alresford_6->n51_a_alresford_7 n51_a_alresford_8->n51_a_alresford_9 n51_a_alresford_10->n51_a_alresford_11 n51_a_alresford_13 ADV n51_a_alresford_12->n51_a_alresford_13 n51_a_alresford_13->n51_a_alresford_14 n51_a_alresford_16 NS n51_a_alresford_15->n51_a_alresford_16 n51_a_alresford_18 PP n51_a_alresford_15->n51_a_alresford_18 n51_a_alresford_16->n51_a_alresford_17 n51_a_alresford_19 P-ROLE n51_a_alresford_18->n51_a_alresford_19 n51_a_alresford_21 NP n51_a_alresford_18->n51_a_alresford_21 n51_a_alresford_19->n51_a_alresford_20 n51_a_alresford_22 D n51_a_alresford_21->n51_a_alresford_22 n51_a_alresford_24 N n51_a_alresford_21->n51_a_alresford_24 n51_a_alresford_22->n51_a_alresford_23 n51_a_alresford_24->n51_a_alresford_25 n51_a_alresford_26->n51_a_alresford_27 n51_a_alresford_29 ILYR n51_a_alresford_28->n51_a_alresford_29 n51_a_alresford_30 ADVP-NIM n51_a_alresford_29->n51_a_alresford_30 n51_a_alresford_33 PP-SCON n51_a_alresford_29->n51_a_alresford_33 n51_a_alresford_57 PUNC n51_a_alresford_29->n51_a_alresford_57 n51_a_alresford_59 NP-SBJ n51_a_alresford_29->n51_a_alresford_59 n51_a_alresford_62 VBD;_Tn_ n51_a_alresford_29->n51_a_alresford_62 n51_a_alresford_64 NP-OB1 n51_a_alresford_29->n51_a_alresford_64 n51_a_alresford_31 ADV n51_a_alresford_30->n51_a_alresford_31 n51_a_alresford_31->n51_a_alresford_32 n51_a_alresford_34 P-CONN n51_a_alresford_33->n51_a_alresford_34 n51_a_alresford_36 IP-ADV n51_a_alresford_33->n51_a_alresford_36 n51_a_alresford_34->n51_a_alresford_35 n51_a_alresford_37 NP-SBJ n51_a_alresford_36->n51_a_alresford_37 n51_a_alresford_43 VBD;_Tn_ n51_a_alresford_36->n51_a_alresford_43 n51_a_alresford_45 NP-OB1 n51_a_alresford_36->n51_a_alresford_45 n51_a_alresford_38 ADJP n51_a_alresford_37->n51_a_alresford_38 n51_a_alresford_41 NS n51_a_alresford_37->n51_a_alresford_41 n51_a_alresford_39 ADJ n51_a_alresford_38->n51_a_alresford_39 n51_a_alresford_39->n51_a_alresford_40 n51_a_alresford_41->n51_a_alresford_42 n51_a_alresford_43->n51_a_alresford_44 n51_a_alresford_46 D n51_a_alresford_45->n51_a_alresford_46 n51_a_alresford_48 ADJP n51_a_alresford_45->n51_a_alresford_48 n51_a_alresford_51 NPR n51_a_alresford_45->n51_a_alresford_51 n51_a_alresford_53 NPR n51_a_alresford_45->n51_a_alresford_53 n51_a_alresford_55 NPR n51_a_alresford_45->n51_a_alresford_55 n51_a_alresford_46->n51_a_alresford_47 n51_a_alresford_49 ADJ n51_a_alresford_48->n51_a_alresford_49 n51_a_alresford_49->n51_a_alresford_50 n51_a_alresford_51->n51_a_alresford_52 n51_a_alresford_53->n51_a_alresford_54 n51_a_alresford_55->n51_a_alresford_56 n51_a_alresford_57->n51_a_alresford_58 n51_a_alresford_60 PRO n51_a_alresford_59->n51_a_alresford_60 n51_a_alresford_60->n51_a_alresford_61 n51_a_alresford_62->n51_a_alresford_63 n51_a_alresford_65 D n51_a_alresford_64->n51_a_alresford_65 n51_a_alresford_67 N n51_a_alresford_64->n51_a_alresford_67 n51_a_alresford_69 IP-PPL n51_a_alresford_64->n51_a_alresford_69 n51_a_alresford_65->n51_a_alresford_66 n51_a_alresford_67->n51_a_alresford_68 n51_a_alresford_70 NP-PRD n51_a_alresford_69->n51_a_alresford_70 n51_a_alresford_71 NPR n51_a_alresford_70->n51_a_alresford_71 n51_a_alresford_73 NPR n51_a_alresford_70->n51_a_alresford_73 n51_a_alresford_71->n51_a_alresford_72 n51_a_alresford_73->n51_a_alresford_74 n51_a_alresford_75->n51_a_alresford_76 
( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Local;{local}))
                              (NS ducks;{duck}))
                      (BED;_Ln_ were;{be})
                      (ADVP-NIM (ADV often;{often}))
                      (NP-PRD (NS pedestrians;{pedestrian})
                              (PP (P-ROLE up;{up})
                                  (NP (D the;{the})
                                      (N road;{road})))))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ (ADJP (ADJ new;{new}))
                                                      (NS bungalows;{bungalow}))
                                              (VBD;_Tn_ replaced;{replace})
                                              (NP-OB1 (D the;{the})
                                                      (ADJP (ADJ old;{old}))
                                                      (NPR Dean;{Dean})
                                                      (NPR Junior;{Junior})
                                                      (NPR School;{School}))))
                             (PUNC ,)
                             (NP-SBJ (PRO I;{I}))
                             (VBD;_Tn_ liked;{like})
                             (NP-OB1 (D the;{the})
                                     (N name;{name})
                                     (IP-PPL (NP-PRD (NPR Mallard;{Mallard})
                                                     (NPR Close;{Close})))))))
          (PUNC .))
  (ID 51_a_alresford))