188_a_hedgehog
Madam Deputy Speaker (Mrs Eleanor Laing)
( (NP (NPR Madam;{Madam})
(NPR Deputy;{Deputy})
(NPR Speaker;{Speaker})
(PULB -LRB-)
(PRN (NP (NPR Mrs;{Mrs})
(NPR Eleanor;{Eleanor})
(NPR Laing;{Laing})))
(PURB -RRB-))
(ID 188_a_hedgehog;speaker=-))
arc(z_0188_5003,r_0188_0001__Madam_r_0188_0002__Deputy_r_0188_0003__Speaker,arg0).
arc(z_0188_5003,r_0188_0005__Mrs_r_0188_0006__Eleanor_r_0188_0007__Laing,prd).
arc(z_0188_5005,r_0188_0001__Madam_r_0188_0002__Deputy_r_0188_0003__Speaker,z_0188_5002).
fof(formula,axiom,
? [R_0188_0001__MADAM_R_0188_0002__DEPUTY_R_0188_0003__SPEAKER,R_0188_0005__MRS_R_0188_0006__ELEANOR_R_0188_0007__LAING,Z_0188_5003,Z_0188_5005] :
( r_0188_0001__Madam_r_0188_0002__Deputy_r_0188_0003__Speaker(R_0188_0001__MADAM_R_0188_0002__DEPUTY_R_0188_0003__SPEAKER)
& r_0188_0005__Mrs_r_0188_0006__Eleanor_r_0188_0007__Laing(R_0188_0005__MRS_R_0188_0006__ELEANOR_R_0188_0007__LAING)
& z_0188_5005(Z_0188_5005)
& has_z_0188_5002(Z_0188_5005,R_0188_0001__MADAM_R_0188_0002__DEPUTY_R_0188_0003__SPEAKER)
& z_0188_5003(Z_0188_5003)
& has_prd(Z_0188_5003,R_0188_0005__MRS_R_0188_0006__ELEANOR_R_0188_0007__LAING)
& has_arg0(Z_0188_5003,R_0188_0001__MADAM_R_0188_0002__DEPUTY_R_0188_0003__SPEAKER) ) ).