arc(r_0034_0003__drove, r_0034_0002__I, arg0).
arc(r_0034_0003__drove, r_0034_0008__house, r_0034_0004__to_clr12).
arc(r_0034_0006__grandparents_r_0034_0007___apos_, r_0034_0002__I, gen).
arc(r_0034_0008__house, r_0034_0006__grandparents_r_0034_0007___apos_, gen).
arc(r_0034_0009__to_r_0034_0010__deliver, r_0034_0002__I, arg0).
arc(r_0034_0009__to_r_0034_0010__deliver, r_0034_0011__an_r_0034_0015__birthday_r_0034_0016__cake, arg1).
arc(r_0034_0011__an_r_0034_0015__birthday_r_0034_0016__cake, r_0034_0013__essential, attrib34).
arc(z_000_34_a_lockdown_23, r_0034_0003__drove, scope).
arc(z_000_34_a_lockdown_23, r_0034_0009__to_r_0034_0010__deliver, restriction).

fof(formula,axiom,
    ? [Z_34_A_LOCKDOWN_23,R_34_9_TO_DELIVER,R_34_11_AN_BIRTHDAY_CAKE,R_34_13_ESSENTIAL,R_34_3_DROVE,R_34_8_HOUSE,R_34_6_GRANDPARENTS_APOS_,R_34_2_I] :
      ( essential(R_34_13_ESSENTIAL)
      & i(R_34_2_I)
      & z_34_a_lockdown_23(Z_34_A_LOCKDOWN_23)
      & conj1(Z_34_A_LOCKDOWN_23,R_34_9_TO_DELIVER)
      & to_deliver(R_34_9_TO_DELIVER,R_34_2_I,R_34_11_AN_BIRTHDAY_CAKE)
      & an_birthday_cake(R_34_11_AN_BIRTHDAY_CAKE)
      & attrib34(R_34_11_AN_BIRTHDAY_CAKE,R_34_13_ESSENTIAL)
      & conj2(Z_34_A_LOCKDOWN_23,R_34_3_DROVE)
      & drove(R_34_3_DROVE,R_34_2_I)
      & to_clr12(R_34_3_DROVE,R_34_8_HOUSE)
      & house(R_34_8_HOUSE)
      & gen(R_34_8_HOUSE,R_34_6_GRANDPARENTS_APOS_)
      & grandparents_apos_(R_34_6_GRANDPARENTS_APOS_)
      & gen(R_34_6_GRANDPARENTS_APOS_,R_34_2_I) ) ).

( (IP-MAT (PUNC <bbold>)
          (NP-SBJ;{PERSON_C} (PRO I;{I}))
          (VBD;_Ipr_ drove;{drive[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NP-GEN;{GRANDPARENTS_OF_C} (NP-GEN;{PERSON_C} (PRO;_genm_ my;{my}))
                                                  (NS grandparents;{grandparent})
                                                  (GENM <apos>))
                      (N house;{house})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ deliver;{deliver})
                           (NP-OB1 (D an;{an})
                                   (PULQ <ldquo>)
                                   (ADJP (ADJ essential;{essential}))
                                   (PURQ <rdquo>)
                                   (N birthday;{birthday})
                                   (N cake;{cake}))))
          (PUNC <ebold>))
  (ID 34_a_lockdown;speaker=c))