4_a_lob_a01
Mr Michael Foot has put down a resolution on the subject and he is to be backed by Mr Will Griffiths, MP for Manchester Exchange.
arc(r_0004_0004__has, r_0004_0005__put_r_0004_0006__down, scope).
arc(r_0004_0005__put_r_0004_0006__down, r_0004_0001__Mr_r_0004_0002__Michael_r_0004_0003__Foot, arg0).
arc(r_0004_0005__put_r_0004_0006__down, r_0004_0007__a_r_0004_0008__resolution, arg1).
arc(r_0004_0007__a_r_0004_0008__resolution, r_0004_0010__the_r_0004_0011__subject, r_0004_0009__on).
arc(r_0004_0012__and, r_0004_0004__has, conj1).
arc(r_0004_0012__and, r_0004_0014__is, conj2).
arc(r_0004_0014__is, r_0004_0015__to_r_0004_0016__be, scope).
arc(r_0004_0015__to_r_0004_0016__be, r_0004_0017__backed, scope).
arc(r_0004_0017__backed, r_0004_0001__Mr_r_0004_0002__Michael_r_0004_0003__Foot, arg1).
arc(r_0004_0017__backed, r_0004_0019__Mr_r_0004_0020__Will_r_0004_0021__Griffiths, arg0).
arc(r_0004_0023__MP, r_0004_0025__Manchester_r_0004_0026__Exchange, r_0004_0024__for).
arc(z_000_4_a_lob_a01_60, r_0004_0019__Mr_r_0004_0020__Will_r_0004_0021__Griffiths, arg0).
arc(z_000_4_a_lob_a01_60, r_0004_0023__MP, prd).
fof(formula,axiom,
? [R_4_12_AND,R_4_4_HAS_PUT_DOWN,R_4_7_A_RESOLUTION,R_4_10_THE_SUBJECT,R_4_14_IS_TO_BE_BACKED,R_4_1_MR_MICHAEL_FOOT,Z_4_A_LOB_A01_60,R_4_19_MR_WILL_GRIFFITHS,R_4_23_MP,R_4_25_MANCHESTER_EXCHANGE] :
( the_subject(R_4_10_THE_SUBJECT)
& mr_Michael_Foot(R_4_1_MR_MICHAEL_FOOT)
& mr_Will_Griffiths(R_4_19_MR_WILL_GRIFFITHS)
& manchester_Exchange(R_4_25_MANCHESTER_EXCHANGE)
& and(R_4_12_AND)
& conj1(R_4_12_AND,R_4_4_HAS_PUT_DOWN)
& has_put_down(R_4_4_HAS_PUT_DOWN,R_4_1_MR_MICHAEL_FOOT,R_4_7_A_RESOLUTION)
& a_resolution(R_4_7_A_RESOLUTION)
& on(R_4_7_A_RESOLUTION,R_4_10_THE_SUBJECT)
& conj2(R_4_12_AND,R_4_14_IS_TO_BE_BACKED)
& is_to_be_backed(R_4_14_IS_TO_BE_BACKED,R_4_19_MR_WILL_GRIFFITHS,R_4_1_MR_MICHAEL_FOOT)
& z_4_a_lob_a01_60(Z_4_A_LOB_A01_60,R_4_19_MR_WILL_GRIFFITHS,R_4_23_MP)
& mP(R_4_23_MP)
& for(R_4_23_MP,R_4_25_MANCHESTER_EXCHANGE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{FOOT} (N Mr;{mr})
(NPR Michael;{Michael})
(NPR Foot;{Foot}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_phr_Vn<=>p_ put;{put[down]})
(RP down;{down})
(NP-OB1 (D a;{a})
(N resolution;{resolution})
(PP (P-ROLE on;{on})
(NP (D the;{the})
(N subject;{subject}))))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ;{FOOT} (PRO he;{he}))
(BEP;_cat_Vt_ is;{be})
(IP-INF-CAT (TO to;{to})
(BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (VVN;_Tn_ backed;{back})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP;{GRIFFITHS} (N Mr;{mr})
(NPR Will;{Will})
(NPR Griffiths;{Griffiths})
(PUNC ,)
(IP-PPL (NP-PRD (N MP;{mp})
(PP (P-ROLE for;{for})
(NP (NPR Manchester;{Manchester})
(NPR Exchange;{Exchange}))))))))))))
(PUNC .))
(ID 4_a_lob_a01))