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,
    ? [R_0003_0001__19_COLON_12_COLON_00,R_0003_0002__OLIVER_R_0003_0003__COLVILE,Z_000_3_A_HEDGEHOG_1,R_0003_0005__PLYMOUTH,R_0003_0007__SUTTON,R_0003_0009__DEVONPORT,R_0003_0008__AND,Z_000_3_A_HEDGEHOG_12,R_0003_0012__CON,Z_000_3_A_HEDGEHOG_34] :
      ( r_0003_0001__19_colon_12_colon_00(R_0003_0001__19_COLON_12_COLON_00)
      & r_0003_0002__Oliver_r_0003_0003__Colvile(R_0003_0002__OLIVER_R_0003_0003__COLVILE)
      & r_0003_0005__Plymouth(R_0003_0005__PLYMOUTH)
      & r_0003_0007__Sutton(R_0003_0007__SUTTON)
      & r_0003_0009__Devonport(R_0003_0009__DEVONPORT)
      & r_0003_0012__Con(R_0003_0012__CON)
      & z_000_3_a_hedgehog_34(Z_000_3_A_HEDGEHOG_34)
      & has_prd(Z_000_3_A_HEDGEHOG_34,R_0003_0012__CON)
      & has_arg0(Z_000_3_A_HEDGEHOG_34,R_0003_0002__OLIVER_R_0003_0003__COLVILE)
      & z_000_3_a_hedgehog_12(Z_000_3_A_HEDGEHOG_12)
      & has_prd(Z_000_3_A_HEDGEHOG_12,R_0003_0008__AND)
      & r_0003_0008__and(R_0003_0008__AND)
      & has_conj3(R_0003_0008__AND,R_0003_0009__DEVONPORT)
      & has_conj2(R_0003_0008__AND,R_0003_0007__SUTTON)
      & has_conj1(R_0003_0008__AND,R_0003_0005__PLYMOUTH)
      & has_arg0(Z_000_3_A_HEDGEHOG_12,R_0003_0002__OLIVER_R_0003_0003__COLVILE)
      & z_000_3_a_hedgehog_1(Z_000_3_A_HEDGEHOG_1)
      & has_nim5(Z_000_3_A_HEDGEHOG_1,R_0003_0002__OLIVER_R_0003_0003__COLVILE)
      & has_nim2(Z_000_3_A_HEDGEHOG_1,R_0003_0001__19_COLON_12_COLON_00) ) ).


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=-))