Context                Previous, Next                Top


3_a_hedgehog
19:12:00 Oliver Colvile (Plymouth, Sutton and Devonport) (Con)

%3 r_0003_0008__and and r_0003_0005__Plymouth Plymouth r_0003_0008__and->r_0003_0005__Plymouth [conj1] r_0003_0007__Sutton Sutton r_0003_0008__and->r_0003_0007__Sutton [conj2] r_0003_0009__Devonport Devonport r_0003_0008__and->r_0003_0009__Devonport [conj3] z_000_3_a_hedgehog_12 z_000_3_a_hedgehog_12->r_0003_0008__and [prd] r_0003_0002__Oliver_r_0003_0003__Colvile Oliver Colvile z_000_3_a_hedgehog_12->r_0003_0002__Oliver_r_0003_0003__Colvile [arg0] z_000_3_a_hedgehog_1 z_000_3_a_hedgehog_1->r_0003_0002__Oliver_r_0003_0003__Colvile [nim] r_0003_0001__19_colon_12_colon_00 19:12:00 z_000_3_a_hedgehog_1->r_0003_0001__19_colon_12_colon_00 [nim] z_000_3_a_hedgehog_34 z_000_3_a_hedgehog_34->r_0003_0002__Oliver_r_0003_0003__Colvile [arg0] r_0003_0012__Con Con z_000_3_a_hedgehog_34->r_0003_0012__Con [prd] 
arc(r_0003_0008__and, r_0003_0005__Plymouth, conj1).
arc(r_0003_0008__and, r_0003_0007__Sutton, conj2).
arc(r_0003_0008__and, r_0003_0009__Devonport, conj3).
arc(z_000_3_a_hedgehog_12, r_0003_0002__Oliver_r_0003_0003__Colvile, arg0).
arc(z_000_3_a_hedgehog_12, r_0003_0008__and, prd).
arc(z_000_3_a_hedgehog_1, r_0003_0001__19_colon_12_colon_00, nim2).
arc(z_000_3_a_hedgehog_1, r_0003_0002__Oliver_r_0003_0003__Colvile, nim5).
arc(z_000_3_a_hedgehog_34, r_0003_0002__Oliver_r_0003_0003__Colvile, arg0).
arc(z_000_3_a_hedgehog_34, r_0003_0012__Con, prd).


%3 r_0003_0008__and and r_0003_0005__Plymouth Plymouth r_0003_0008__and->r_0003_0005__Plymouth [conj1] r_0003_0007__Sutton Sutton r_0003_0008__and->r_0003_0007__Sutton [conj2] r_0003_0009__Devonport Devonport r_0003_0008__and->r_0003_0009__Devonport [conj3] z_000_3_a_hedgehog_12 z_000_3_a_hedgehog_12->r_0003_0008__and [prd] r_0003_0002__Oliver_r_0003_0003__Colvile Oliver Colvile z_000_3_a_hedgehog_12->r_0003_0002__Oliver_r_0003_0003__Colvile [arg0] z_000_3_a_hedgehog_1 z_000_3_a_hedgehog_1->r_0003_0002__Oliver_r_0003_0003__Colvile [nim] r_0003_0001__19_colon_12_colon_00 19:12:00 z_000_3_a_hedgehog_1->r_0003_0001__19_colon_12_colon_00 [nim] z_000_3_a_hedgehog_34 z_000_3_a_hedgehog_34->r_0003_0002__Oliver_r_0003_0003__Colvile [arg0] r_0003_0012__Con Con z_000_3_a_hedgehog_34->r_0003_0012__Con [prd] 
fof(formula,axiom,
    ? [Z_3_A_HEDGEHOG_1,R_3_1_19_COLON_12_COLON_,Z_3_A_HEDGEHOG_12,R_3_8_AND,R_3_5_PLYMOUTH,R_3_7_SUTTON,R_3_9_DEVONPORT,Z_3_A_HEDGEHOG_34,R_3_2_OLIVER_COLVILE,R_3_12_CON] :
      ( 19_colon_12_colon_(R_3_1_19_COLON_12_COLON_)
      & plymouth(R_3_5_PLYMOUTH)
      & sutton(R_3_7_SUTTON)
      & devonport(R_3_9_DEVONPORT)
      & oliver_Colvile(R_3_2_OLIVER_COLVILE)
      & con(R_3_12_CON)
      & z_3_a_hedgehog_1(Z_3_A_HEDGEHOG_1)
      & nim2(Z_3_A_HEDGEHOG_1,R_3_1_19_COLON_12_COLON_)
      & nim5(Z_3_A_HEDGEHOG_1,R_3_2_OLIVER_COLVILE)
      & z_3_a_hedgehog_12(Z_3_A_HEDGEHOG_12,R_3_2_OLIVER_COLVILE,R_3_8_AND)
      & and(R_3_8_AND)
      & conj1(R_3_8_AND,R_3_5_PLYMOUTH)
      & conj2(R_3_8_AND,R_3_7_SUTTON)
      & conj3(R_3_8_AND,R_3_9_DEVONPORT)
      & z_3_a_hedgehog_34(Z_3_A_HEDGEHOG_34,R_3_2_OLIVER_COLVILE,R_3_12_CON) ) ).


n3_a_hedgehog n3_a_hedgehog_4 19:12:00 n3_a_hedgehog_7 Oliver n3_a_hedgehog_9 Colvile n3_a_hedgehog_11 -LRB- n3_a_hedgehog_17 Plymouth n3_a_hedgehog_19 , n3_a_hedgehog_23 Sutton n3_a_hedgehog_26 and n3_a_hedgehog_29 Devonport n3_a_hedgehog_31 -RRB- n3_a_hedgehog_33 -LRB- n3_a_hedgehog_37 Con n3_a_hedgehog_39 -RRB- n3_a_hedgehog_1 FRAG n3_a_hedgehog_2 NP-NIM n3_a_hedgehog_1->n3_a_hedgehog_2 n3_a_hedgehog_5 NP n3_a_hedgehog_1->n3_a_hedgehog_5 n3_a_hedgehog_38 PURB n3_a_hedgehog_1->n3_a_hedgehog_38 n3_a_hedgehog_3 NUM n3_a_hedgehog_2->n3_a_hedgehog_3 n3_a_hedgehog_3->n3_a_hedgehog_4 n3_a_hedgehog_6 NPR n3_a_hedgehog_5->n3_a_hedgehog_6 n3_a_hedgehog_8 NPR n3_a_hedgehog_5->n3_a_hedgehog_8 n3_a_hedgehog_10 PULB n3_a_hedgehog_5->n3_a_hedgehog_10 n3_a_hedgehog_12 IP-PPL n3_a_hedgehog_5->n3_a_hedgehog_12 n3_a_hedgehog_30 PURB n3_a_hedgehog_5->n3_a_hedgehog_30 n3_a_hedgehog_32 PULB n3_a_hedgehog_5->n3_a_hedgehog_32 n3_a_hedgehog_34 IP-PPL n3_a_hedgehog_5->n3_a_hedgehog_34 n3_a_hedgehog_6->n3_a_hedgehog_7 n3_a_hedgehog_8->n3_a_hedgehog_9 n3_a_hedgehog_10->n3_a_hedgehog_11 n3_a_hedgehog_13 NP-PRD n3_a_hedgehog_12->n3_a_hedgehog_13 n3_a_hedgehog_14 NLYR n3_a_hedgehog_13->n3_a_hedgehog_14 n3_a_hedgehog_15 NLYR n3_a_hedgehog_14->n3_a_hedgehog_15 n3_a_hedgehog_18 PUNC n3_a_hedgehog_14->n3_a_hedgehog_18 n3_a_hedgehog_20 CONJP n3_a_hedgehog_14->n3_a_hedgehog_20 n3_a_hedgehog_24 CONJP n3_a_hedgehog_14->n3_a_hedgehog_24 n3_a_hedgehog_16 NPR n3_a_hedgehog_15->n3_a_hedgehog_16 n3_a_hedgehog_16->n3_a_hedgehog_17 n3_a_hedgehog_18->n3_a_hedgehog_19 n3_a_hedgehog_21 NLYR n3_a_hedgehog_20->n3_a_hedgehog_21 n3_a_hedgehog_22 NPR n3_a_hedgehog_21->n3_a_hedgehog_22 n3_a_hedgehog_22->n3_a_hedgehog_23 n3_a_hedgehog_25 CONJ n3_a_hedgehog_24->n3_a_hedgehog_25 n3_a_hedgehog_27 NLYR n3_a_hedgehog_24->n3_a_hedgehog_27 n3_a_hedgehog_25->n3_a_hedgehog_26 n3_a_hedgehog_28 NPR n3_a_hedgehog_27->n3_a_hedgehog_28 n3_a_hedgehog_28->n3_a_hedgehog_29 n3_a_hedgehog_30->n3_a_hedgehog_31 n3_a_hedgehog_32->n3_a_hedgehog_33 n3_a_hedgehog_35 NP-PRD n3_a_hedgehog_34->n3_a_hedgehog_35 n3_a_hedgehog_36 N n3_a_hedgehog_35->n3_a_hedgehog_36 n3_a_hedgehog_36->n3_a_hedgehog_37 n3_a_hedgehog_38->n3_a_hedgehog_39 
( (FRAG (NP-NIM (NUM 19:12:00))
        (NP (NPR Oliver;{Oliver})
            (NPR Colvile;{Colvile})
            (PULB -LRB-)
            (IP-PPL (NP-PRD (NLYR (NLYR (NPR Plymouth;{Plymouth}))
                                  (PUNC ,)
                                  (CONJP (NLYR (NPR Sutton;{Sutton})))
                                  (CONJP (CONJ and;{and})
                                         (NLYR (NPR Devonport;{Devonport}))))))
            (PURB -RRB-)
            (PULB -LRB-)
            (IP-PPL (NP-PRD (N Con;{con}))))
        (PURB -RRB-))
  (ID 3_a_hedgehog;speaker=-))