24_a_hedgehog
Martin John Docherty (West Dunbartonshire) (SNP)
( (NP (NPR Martin;{Martin})
(NPR John;{John})
(NPR Docherty;{Docherty})
(PULB -LRB-)
(PRN (NP (NPR West;{West})
(NPR Dunbartonshire;{Dunbartonshire})))
(PURB -RRB-)
(PULB -LRB-)
(PRN (NP (N SNP;{snp})))
(PURB -RRB-))
(ID 24_a_hedgehog;speaker=-))
arc(z_0024_5003,r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty,arg0).
arc(z_0024_5003,r_0024_0005__West_r_0024_0006__Dunbartonshire,prd).
arc(z_0024_5006,r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty,arg0).
arc(z_0024_5006,r_0024_0009__SNP,prd).
arc(z_0024_5008,r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty,z_0024_5002).
fof(formula,axiom,
? [R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY,R_0024_0005__WEST_R_0024_0006__DUNBARTONSHIRE,Z_0024_5003,R_0024_0009__SNP,Z_0024_5006,Z_0024_5008] :
( 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_0024_5008(Z_0024_5008)
& has_z_0024_5002(Z_0024_5008,R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY)
& z_0024_5006(Z_0024_5006)
& has_prd(Z_0024_5006,R_0024_0009__SNP)
& has_arg0(Z_0024_5006,R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY)
& z_0024_5003(Z_0024_5003)
& has_prd(Z_0024_5003,R_0024_0005__WEST_R_0024_0006__DUNBARTONSHIRE)
& has_arg0(Z_0024_5003,R_0024_0001__MARTIN_R_0024_0002__JOHN_R_0024_0003__DOCHERTY) ) ).