67_a_lob_a02
They discussed a sit-down at Watford at 5.30 p.m — none was planned but police turned up.
arc(r_0067_0002__discussed, r_0067_0001__They, arg0).
arc(r_0067_0002__discussed, r_0067_0003__a_r_0067_0004__sit__hyphen__down, arg1).
arc(r_0067_0002__discussed, r_0067_0006__Watford, r_0067_0005__at_nim15).
arc(r_0067_0002__discussed, r_0067_0008__5_dot_30, r_0067_0007__at_nim21).
arc(r_0067_0008__5_dot_30, r_0067_0009__p_dot_m, qual24).
fof(formula,axiom,
? [R_67_2_DISCUSSED,R_67_1_THEY,R_67_3_A_SIT_HYPHEN_DOWN,R_67_6_WATFORD,R_67_8_5_DOT_30,R_67_9_P_DOT_M] :
( they(R_67_1_THEY)
& a_sit_hyphen_down(R_67_3_A_SIT_HYPHEN_DOWN)
& watford(R_67_6_WATFORD)
& p_dot_m(R_67_9_P_DOT_M)
& discussed(R_67_2_DISCUSSED,R_67_1_THEY,R_67_3_A_SIT_HYPHEN_DOWN)
& at_nim15(R_67_2_DISCUSSED,R_67_6_WATFORD)
& at_nim21(R_67_2_DISCUSSED,R_67_8_5_DOT_30)
& 5_dot_30(R_67_8_5_DOT_30)
& qual24(R_67_8_5_DOT_30,R_67_9_P_DOT_M) ) ).
( (IP-MAT (NP-SBJ;{MEMBERS} (PRO They;{they}))
(VBD;__ discussed;{discuss})
(NP-OB1 (D a;{a})
(N sit_<hyphen>_down;{sit_down}))
(PP-NIM (P-ROLE at;{at})
(NP (NPR Watford;{Watford})))
(PP-NIM (P-ROLE at;{at})
(NP (NUM 5<dot>30)
(ADVP (ADV p<dot>m;{p<dot>m}))))
(PUNC <mdash>)
(PRN (IP-MAT (ILYR (ILYR (NP-SBJ (Q;_nphd_ none;{none}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ planned;{plan})))
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ (NS police;{police}))
(VBD;__ turned;{turn})
(RP up;{up}))))))
(PUNC .))
(ID 67_a_lob_a02))