40_a_lob_a01
Informal talks at Lancaster House will resume today.
arc(r_0040_0002__talks, r_0040_0001__Informal, attrib3).
arc(r_0040_0002__talks, r_0040_0004__Lancaster_r_0040_0005__House, r_0040_0003__at).
arc(r_0040_0006__will, r_0040_0007__resume, scope).
arc(r_0040_0007__resume, r_0040_0002__talks, arg0).
arc(r_0040_0007__resume, r_0040_0008__today, nim21).
fof(formula,axiom,
? [R_40_6_WILL_RESUME,R_40_2_TALKS,R_40_1_INFORMAL,R_40_4_LANCASTER_HOUSE,R_40_8_TODAY] :
( informal(R_40_1_INFORMAL)
& lancaster_House(R_40_4_LANCASTER_HOUSE)
& today(R_40_8_TODAY)
& will_resume(R_40_6_WILL_RESUME,R_40_2_TALKS)
& talks(R_40_2_TALKS)
& attrib3(R_40_2_TALKS,R_40_1_INFORMAL)
& at(R_40_2_TALKS,R_40_4_LANCASTER_HOUSE)
& nim21(R_40_6_WILL_RESUME,R_40_8_TODAY) ) ).
( (IP-MAT (NP-SBJ (ADJP (ADJ Informal;{informal}))
(NS talks;{talk})
(PP (P-ROLE at;{at})
(NP (NPR Lancaster;{Lancaster})
(NPR House;{House}))))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_I_ resume;{resume})
(ADVP-NIM (ADV today;{today})))
(PUNC .))
(ID 40_a_lob_a01))