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_1 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] r_0003_0002__Oliver_r_0003_0003__Colvile Oliver Colvile z_000_3_a_hedgehog_1->r_0003_0002__Oliver_r_0003_0003__Colvile [nim] z_000_3_a_hedgehog_12 z_000_3_a_hedgehog_12->r_0003_0008__and [prd] z_000_3_a_hedgehog_12->r_0003_0002__Oliver_r_0003_0003__Colvile [arg0] 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_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_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_34, r_0003_0002__Oliver_r_0003_0003__Colvile, arg0).
arc(z_000_3_a_hedgehog_34, r_0003_0012__Con, prd).


%3 z_000_3_a_hedgehog_34 r_0003_0012__Con Con z_000_3_a_hedgehog_34->r_0003_0012__Con [prd] r_0003_0002__Oliver_r_0003_0003__Colvile Oliver Colvile z_000_3_a_hedgehog_34->r_0003_0002__Oliver_r_0003_0003__Colvile [arg0] z_000_3_a_hedgehog_12 z_000_3_a_hedgehog_12->r_0003_0002__Oliver_r_0003_0003__Colvile [arg0] r_0003_0008__and and z_000_3_a_hedgehog_12->r_0003_0008__and [prd] r_0003_0009__Devonport Devonport r_0003_0008__and->r_0003_0009__Devonport [conj3] r_0003_0007__Sutton Sutton r_0003_0008__and->r_0003_0007__Sutton [conj2] r_0003_0005__Plymouth Plymouth r_0003_0008__and->r_0003_0005__Plymouth [conj1] 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] 
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__1_1_1_1 19:12:00 n3_a_hedgehog__1_2_1_1 Oliver n3_a_hedgehog__1_2_2_1 Colvile n3_a_hedgehog__1_2_3_1 -LRB- n3_a_hedgehog__1_2_4_1_1_1_1_1 Plymouth n3_a_hedgehog__1_2_4_1_1_2_1 , n3_a_hedgehog__1_2_4_1_1_3_1_1_1 Sutton n3_a_hedgehog__1_2_4_1_1_4_1_1 and n3_a_hedgehog__1_2_4_1_1_4_2_1_1 Devonport n3_a_hedgehog__1_2_5_1 -RRB- n3_a_hedgehog__1_2_6_1 -LRB- n3_a_hedgehog__1_2_7_1_1_1 Con n3_a_hedgehog__1_3_1 -RRB- n3_a_hedgehog__1 FRAG n3_a_hedgehog__1_1 NP-NIM n3_a_hedgehog__1->n3_a_hedgehog__1_1 n3_a_hedgehog__1_2 NP n3_a_hedgehog__1->n3_a_hedgehog__1_2 n3_a_hedgehog__1_3 PURB n3_a_hedgehog__1->n3_a_hedgehog__1_3 n3_a_hedgehog__1_1_1 NUM n3_a_hedgehog__1_1->n3_a_hedgehog__1_1_1 n3_a_hedgehog__1_1_1->n3_a_hedgehog__1_1_1_1 n3_a_hedgehog__1_2_1 NPR n3_a_hedgehog__1_2->n3_a_hedgehog__1_2_1 n3_a_hedgehog__1_2_2 NPR n3_a_hedgehog__1_2->n3_a_hedgehog__1_2_2 n3_a_hedgehog__1_2_3 PULB n3_a_hedgehog__1_2->n3_a_hedgehog__1_2_3 n3_a_hedgehog__1_2_4 IP-PPL n3_a_hedgehog__1_2->n3_a_hedgehog__1_2_4 n3_a_hedgehog__1_2_5 PURB n3_a_hedgehog__1_2->n3_a_hedgehog__1_2_5 n3_a_hedgehog__1_2_6 PULB n3_a_hedgehog__1_2->n3_a_hedgehog__1_2_6 n3_a_hedgehog__1_2_7 IP-PPL n3_a_hedgehog__1_2->n3_a_hedgehog__1_2_7 n3_a_hedgehog__1_2_1->n3_a_hedgehog__1_2_1_1 n3_a_hedgehog__1_2_2->n3_a_hedgehog__1_2_2_1 n3_a_hedgehog__1_2_3->n3_a_hedgehog__1_2_3_1 n3_a_hedgehog__1_2_4_1 NP-PRD n3_a_hedgehog__1_2_4->n3_a_hedgehog__1_2_4_1 n3_a_hedgehog__1_2_4_1_1 NLYR n3_a_hedgehog__1_2_4_1->n3_a_hedgehog__1_2_4_1_1 n3_a_hedgehog__1_2_4_1_1_1 NLYR n3_a_hedgehog__1_2_4_1_1->n3_a_hedgehog__1_2_4_1_1_1 n3_a_hedgehog__1_2_4_1_1_2 PUNC n3_a_hedgehog__1_2_4_1_1->n3_a_hedgehog__1_2_4_1_1_2 n3_a_hedgehog__1_2_4_1_1_3 CONJP n3_a_hedgehog__1_2_4_1_1->n3_a_hedgehog__1_2_4_1_1_3 n3_a_hedgehog__1_2_4_1_1_4 CONJP n3_a_hedgehog__1_2_4_1_1->n3_a_hedgehog__1_2_4_1_1_4 n3_a_hedgehog__1_2_4_1_1_1_1 NPR n3_a_hedgehog__1_2_4_1_1_1->n3_a_hedgehog__1_2_4_1_1_1_1 n3_a_hedgehog__1_2_4_1_1_1_1->n3_a_hedgehog__1_2_4_1_1_1_1_1 n3_a_hedgehog__1_2_4_1_1_2->n3_a_hedgehog__1_2_4_1_1_2_1 n3_a_hedgehog__1_2_4_1_1_3_1 NLYR n3_a_hedgehog__1_2_4_1_1_3->n3_a_hedgehog__1_2_4_1_1_3_1 n3_a_hedgehog__1_2_4_1_1_3_1_1 NPR n3_a_hedgehog__1_2_4_1_1_3_1->n3_a_hedgehog__1_2_4_1_1_3_1_1 n3_a_hedgehog__1_2_4_1_1_3_1_1->n3_a_hedgehog__1_2_4_1_1_3_1_1_1 n3_a_hedgehog__1_2_4_1_1_4_1 CONJ n3_a_hedgehog__1_2_4_1_1_4->n3_a_hedgehog__1_2_4_1_1_4_1 n3_a_hedgehog__1_2_4_1_1_4_2 NLYR n3_a_hedgehog__1_2_4_1_1_4->n3_a_hedgehog__1_2_4_1_1_4_2 n3_a_hedgehog__1_2_4_1_1_4_1->n3_a_hedgehog__1_2_4_1_1_4_1_1 n3_a_hedgehog__1_2_4_1_1_4_2_1 NPR n3_a_hedgehog__1_2_4_1_1_4_2->n3_a_hedgehog__1_2_4_1_1_4_2_1 n3_a_hedgehog__1_2_4_1_1_4_2_1->n3_a_hedgehog__1_2_4_1_1_4_2_1_1 n3_a_hedgehog__1_2_5->n3_a_hedgehog__1_2_5_1 n3_a_hedgehog__1_2_6->n3_a_hedgehog__1_2_6_1 n3_a_hedgehog__1_2_7_1 NP-PRD n3_a_hedgehog__1_2_7->n3_a_hedgehog__1_2_7_1 n3_a_hedgehog__1_2_7_1_1 N n3_a_hedgehog__1_2_7_1->n3_a_hedgehog__1_2_7_1_1 n3_a_hedgehog__1_2_7_1_1->n3_a_hedgehog__1_2_7_1_1_1 n3_a_hedgehog__1_3->n3_a_hedgehog__1_3_1 
( (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=-))