( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{GRANDMA} (NP-GEN (PRO;_genm_ my;{my}))
                                             (N grandma;{grandma}))
                           (ADVP-NIM (ADV first;{first}))
                           (VBD;__ came;{come})
                           (PP-NIM (P-ROLE to;{to})
                                   (NP (NPR England;{England})))
                           (PP-NIM (P-ROLE from;{from})
                                   (NP (D the;{the})
                                       (NPR Caribbean;{Caribbean})))))
          (NP-SBJ;{GRANDMA} (PRO she;{she}))
          (VBD;__ lived;{live})
          (PP-NIM (P-ROLE through;{through})
                  (NP (NS days;{day})
                      (ADJP (ADVP (ADV as;{as}))
                            (AJLYR (AJLYR (ADJ lonely;{lonely}))
                                   (CONJP (CONJ and;{and})
                                          (AJLYR (ADJ cold;{cold}))))
                            (PP (P-ROLE as;{as})
                                (NP (D an;{an})
                                    (ADJP (ADJ open;{open}))
                                    (N grave;{grave}))))))
          (PUNC .))
  (ID 159_a_loosechange))

arc(r_0159_0001__When,r_0159_0005__came,restriction).
arc(r_0159_0001__When,r_0159_0012__lived,scope).
arc(r_0159_0003__grandma,r_0159_0002__my,gen).
arc(r_0159_0005__came,r_0159_0003__grandma,arg0).
arc(r_0159_0005__came,r_0159_0004__first,nim).
arc(r_0159_0005__came,r_0159_0007__England,r_0159_0006__to__nim).
arc(r_0159_0005__came,r_0159_0009__the_r_0159_0010__Caribbean,r_0159_0008__from__nim).
arc(r_0159_0012__lived,r_0159_0003__grandma,arg0).
arc(r_0159_0012__lived,r_0159_0014__days,r_0159_0013__through__nim).
arc(r_0159_0014__days,r_0159_0017__and,attrib).
arc(r_0159_0017__and,r_0159_0015__as,qual).
arc(r_0159_0017__and,r_0159_0016__lonely,conj1).
arc(r_0159_0017__and,r_0159_0018__cold,conj2).
arc(r_0159_0017__and,r_0159_0020__an_r_0159_0022__grave,r_0159_0019__as).
arc(r_0159_0020__an_r_0159_0022__grave,r_0159_0021__open,attrib).

fof(formula,axiom,
    ! [R_0159_0005__CAME,R_0159_0002__MY,R_0159_0003__GRANDMA,R_0159_0004__FIRST,R_0159_0007__ENGLAND,R_0159_0009__THE_R_0159_0010__CARIBBEAN] :
      ( ( r_0159_0002__my(R_0159_0002__MY)
        & r_0159_0004__first(R_0159_0004__FIRST)
        & r_0159_0007__England(R_0159_0007__ENGLAND)
        & r_0159_0009__the_r_0159_0010__Caribbean(R_0159_0009__THE_R_0159_0010__CARIBBEAN)
        & r_0159_0005__came(R_0159_0005__CAME)
        & has_r_0159_0008__from__nim(R_0159_0005__CAME,R_0159_0009__THE_R_0159_0010__CARIBBEAN)
        & has_r_0159_0006__to__nim(R_0159_0005__CAME,R_0159_0007__ENGLAND)
        & has_nim(R_0159_0005__CAME,R_0159_0004__FIRST)
        & has_arg0(R_0159_0005__CAME,R_0159_0003__GRANDMA)
        & r_0159_0003__grandma(R_0159_0003__GRANDMA)
        & has_gen(R_0159_0003__GRANDMA,R_0159_0002__MY) )
     => ? [R_0159_0015__AS,R_0159_0016__LONELY,R_0159_0018__COLD,R_0159_0021__OPEN,R_0159_0020__AN_R_0159_0022__GRAVE,R_0159_0017__AND,R_0159_0014__DAYS,R_0159_0012__LIVED] :
          ( r_0159_0015__as(R_0159_0015__AS)
          & r_0159_0016__lonely(R_0159_0016__LONELY)
          & r_0159_0018__cold(R_0159_0018__COLD)
          & r_0159_0021__open(R_0159_0021__OPEN)
          & r_0159_0012__lived(R_0159_0012__LIVED)
          & has_r_0159_0013__through__nim(R_0159_0012__LIVED,R_0159_0014__DAYS)
          & r_0159_0014__days(R_0159_0014__DAYS)
          & has_attrib(R_0159_0014__DAYS,R_0159_0017__AND)
          & r_0159_0017__and(R_0159_0017__AND)
          & has_r_0159_0019__as(R_0159_0017__AND,R_0159_0020__AN_R_0159_0022__GRAVE)
          & r_0159_0020__an_r_0159_0022__grave(R_0159_0020__AN_R_0159_0022__GRAVE)
          & has_attrib(R_0159_0020__AN_R_0159_0022__GRAVE,R_0159_0021__OPEN)
          & has_conj2(R_0159_0017__AND,R_0159_0018__COLD)
          & has_conj1(R_0159_0017__AND,R_0159_0016__LONELY)
          & has_qual(R_0159_0017__AND,R_0159_0015__AS)
          & has_arg0(R_0159_0012__LIVED,R_0159_0003__GRANDMA) ) ) ).