24_a_hedgehog
Martin John Docherty (West Dunbartonshire) (SNP)
arc(z_000_24_a_hedgehog_1, r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty, nim2).
arc(z_000_24_a_hedgehog_11, r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty, arg0).
arc(z_000_24_a_hedgehog_11, r_0024_0005__West_r_0024_0006__Dunbartonshire, prd).
arc(z_000_24_a_hedgehog_21, r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty, arg0).
arc(z_000_24_a_hedgehog_21, r_0024_0009__SNP, prd).
fof(formula,axiom,
? [R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY,Z_000_24_A_HEDGEHOG_1,R_0024_0005__WEST_R_0024_0006__DUNBARTONSHIRE,Z_000_24_A_HEDGEHOG_11,R_0024_0009__SNP,Z_000_24_A_HEDGEHOG_21] :
( r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty(R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY)
& r_0024_0005__West_r_0024_0006__Dunbartonshire(R_0024_0005__WEST_R_0024_0006__DUNBARTONSHIRE)
& r_0024_0009__SNP(R_0024_0009__SNP)
& z_000_24_a_hedgehog_21(Z_000_24_A_HEDGEHOG_21)
& has_prd(Z_000_24_A_HEDGEHOG_21,R_0024_0009__SNP)
& has_arg0(Z_000_24_A_HEDGEHOG_21,R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY)
& z_000_24_a_hedgehog_11(Z_000_24_A_HEDGEHOG_11)
& has_prd(Z_000_24_A_HEDGEHOG_11,R_0024_0005__WEST_R_0024_0006__DUNBARTONSHIRE)
& has_arg0(Z_000_24_A_HEDGEHOG_11,R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY)
& z_000_24_a_hedgehog_1(Z_000_24_A_HEDGEHOG_1)
& has_nim2(Z_000_24_A_HEDGEHOG_1,R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY) ) ).
( (FRAG (NP (NPR Martin;{Martin})
(NPR John;{John})
(NPR Docherty;{Docherty})
(PULB -LRB-)
(IP-PPL (NP-PRD (NPR West;{West})
(NPR Dunbartonshire;{Dunbartonshire})))
(PURB -RRB-)
(PULB -LRB-)
(IP-PPL (NP-PRD (N SNP;{snp}))))
(PURB -RRB-))
(ID 24_a_hedgehog;speaker=-))