Context                Previous, Next                Top


13_a_alresford
I arrived with high hopes and a mongrel puppy.

%3 r_0013_0002__arrived arrived r_0013_0001__I I r_0013_0002__arrived->r_0013_0001__I [arg0] r_0013_0006__and and r_0013_0002__arrived->r_0013_0006__and with [nim] r_0013_0005__hopes hopes r_0013_0006__and->r_0013_0005__hopes [conj1] r_0013_0007__a_r_0013_0008__mongrel_r_0013_0009__puppy a mongrel puppy r_0013_0006__and->r_0013_0007__a_r_0013_0008__mongrel_r_0013_0009__puppy [conj2] r_0013_0004__high high r_0013_0005__hopes->r_0013_0004__high [attrib] 
arc(r_0013_0002__arrived, r_0013_0001__I, arg0).
arc(r_0013_0002__arrived, r_0013_0006__and, r_0013_0003__with_nim10).
arc(r_0013_0005__hopes, r_0013_0004__high, attrib13).
arc(r_0013_0006__and, r_0013_0005__hopes, conj1).
arc(r_0013_0006__and, r_0013_0007__a_r_0013_0008__mongrel_r_0013_0009__puppy, conj2).


%3 r_0013_0002__arrived arrived r_0013_0001__I I r_0013_0002__arrived->r_0013_0001__I [arg0] r_0013_0006__and and r_0013_0002__arrived->r_0013_0006__and with [nim] r_0013_0005__hopes hopes r_0013_0006__and->r_0013_0005__hopes [conj1] r_0013_0007__a_r_0013_0008__mongrel_r_0013_0009__puppy a mongrel puppy r_0013_0006__and->r_0013_0007__a_r_0013_0008__mongrel_r_0013_0009__puppy [conj2] r_0013_0004__high high r_0013_0005__hopes->r_0013_0004__high [attrib] 
fof(formula,axiom,
    ? [R_13_2_ARRIVED,R_13_1_I,R_13_6_AND,R_13_5_HOPES,R_13_4_HIGH,R_13_7_A_MONGREL_PUPPY] :
      ( i(R_13_1_I)
      & high(R_13_4_HIGH)
      & a_mongrel_puppy(R_13_7_A_MONGREL_PUPPY)
      & arrived(R_13_2_ARRIVED,R_13_1_I)
      & with_nim10(R_13_2_ARRIVED,R_13_6_AND)
      & and(R_13_6_AND)
      & conj1(R_13_6_AND,R_13_5_HOPES)
      & hopes(R_13_5_HOPES)
      & attrib13(R_13_5_HOPES,R_13_4_HIGH)
      & conj2(R_13_6_AND,R_13_7_A_MONGREL_PUPPY) ) ).


n13_a_alresford n13_a_alresford_4 I n13_a_alresford_6 arrived n13_a_alresford_9 with n13_a_alresford_15 high n13_a_alresford_17 hopes n13_a_alresford_20 and n13_a_alresford_23 a n13_a_alresford_25 mongrel n13_a_alresford_27 puppy n13_a_alresford_29 . n13_a_alresford_1 IP-MAT n13_a_alresford_2 NP-SBJ n13_a_alresford_1->n13_a_alresford_2 n13_a_alresford_5 VBD;_I_ n13_a_alresford_1->n13_a_alresford_5 n13_a_alresford_7 PP-NIM n13_a_alresford_1->n13_a_alresford_7 n13_a_alresford_28 PUNC n13_a_alresford_1->n13_a_alresford_28 n13_a_alresford_3 PRO n13_a_alresford_2->n13_a_alresford_3 n13_a_alresford_3->n13_a_alresford_4 n13_a_alresford_5->n13_a_alresford_6 n13_a_alresford_8 P-ROLE n13_a_alresford_7->n13_a_alresford_8 n13_a_alresford_10 NP n13_a_alresford_7->n13_a_alresford_10 n13_a_alresford_8->n13_a_alresford_9 n13_a_alresford_11 NLYR n13_a_alresford_10->n13_a_alresford_11 n13_a_alresford_12 NLYR n13_a_alresford_11->n13_a_alresford_12 n13_a_alresford_18 CONJP n13_a_alresford_11->n13_a_alresford_18 n13_a_alresford_13 ADJP n13_a_alresford_12->n13_a_alresford_13 n13_a_alresford_16 NS n13_a_alresford_12->n13_a_alresford_16 n13_a_alresford_14 ADJ n13_a_alresford_13->n13_a_alresford_14 n13_a_alresford_14->n13_a_alresford_15 n13_a_alresford_16->n13_a_alresford_17 n13_a_alresford_19 CONJ n13_a_alresford_18->n13_a_alresford_19 n13_a_alresford_21 NLYR n13_a_alresford_18->n13_a_alresford_21 n13_a_alresford_19->n13_a_alresford_20 n13_a_alresford_22 D n13_a_alresford_21->n13_a_alresford_22 n13_a_alresford_24 N n13_a_alresford_21->n13_a_alresford_24 n13_a_alresford_26 N n13_a_alresford_21->n13_a_alresford_26 n13_a_alresford_22->n13_a_alresford_23 n13_a_alresford_24->n13_a_alresford_25 n13_a_alresford_26->n13_a_alresford_27 n13_a_alresford_28->n13_a_alresford_29 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_I_ arrived;{arrive})
          (PP-NIM (P-ROLE with;{with})
                  (NP (NLYR (NLYR (ADJP (ADJ high;{high}))
                                  (NS hopes;{hope}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (D a;{a})
                                         (N mongrel;{mongrel})
                                         (N puppy;{puppy}))))))
          (PUNC .))
  (ID 13_a_alresford))