( (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 42_a_lob_a01))

arc(r_0042_0002__talks,r_0042_0001__Informal,attrib).
arc(r_0042_0002__talks,r_0042_0004__Lancaster_r_0042_0005__House,r_0042_0003__at).
arc(r_0042_0006__will,r_0042_0007__resume,scope).
arc(r_0042_0007__resume,r_0042_0002__talks,arg0).
arc(r_0042_0007__resume,r_0042_0008__today,nim).

fof(formula,axiom,
    ? [R_0042_0001__INFORMAL,R_0042_0004__LANCASTER_R_0042_0005__HOUSE,R_0042_0002__TALKS,R_0042_0008__TODAY,R_0042_0006__WILL_R_0042_0007__RESUME] :
      ( r_0042_0001__Informal(R_0042_0001__INFORMAL)
      & r_0042_0004__Lancaster_r_0042_0005__House(R_0042_0004__LANCASTER_R_0042_0005__HOUSE)
      & r_0042_0008__today(R_0042_0008__TODAY)
      & r_0042_0006__will_r_0042_0007__resume(R_0042_0006__WILL_R_0042_0007__RESUME)
      & has_nim(R_0042_0006__WILL_R_0042_0007__RESUME,R_0042_0008__TODAY)
      & has_arg0(R_0042_0006__WILL_R_0042_0007__RESUME,R_0042_0002__TALKS)
      & r_0042_0002__talks(R_0042_0002__TALKS)
      & has_r_0042_0003__at(R_0042_0002__TALKS,R_0042_0004__LANCASTER_R_0042_0005__HOUSE)
      & has_attrib(R_0042_0002__TALKS,R_0042_0001__INFORMAL) ) ).