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_0040_0001__INFORMAL,R_0040_0004__LANCASTER_R_0040_0005__HOUSE,R_0040_0002__TALKS,R_0040_0008__TODAY,R_0040_0006__WILL_R_0040_0007__RESUME] :
( r_0040_0001__Informal(R_0040_0001__INFORMAL)
& r_0040_0004__Lancaster_r_0040_0005__House(R_0040_0004__LANCASTER_R_0040_0005__HOUSE)
& r_0040_0008__today(R_0040_0008__TODAY)
& r_0040_0006__will_r_0040_0007__resume(R_0040_0006__WILL_R_0040_0007__RESUME)
& has_nim21(R_0040_0006__WILL_R_0040_0007__RESUME,R_0040_0008__TODAY)
& has_arg0(R_0040_0006__WILL_R_0040_0007__RESUME,R_0040_0002__TALKS)
& r_0040_0002__talks(R_0040_0002__TALKS)
& has_r_0040_0003__at(R_0040_0002__TALKS,R_0040_0004__LANCASTER_R_0040_0005__HOUSE)
& has_attrib3(R_0040_0002__TALKS,R_0040_0001__INFORMAL) ) ).
( (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))