( (CP-QUE-MAT (IP-SUB (HVP;_cat_Ve_ Have;{have})
                      (NP-SBJ (PRO you;{you}))
                      (IP-PPL-CAT (ADVP-NIM (ADV ever;{ever}))
                                  (HVN;_Tn_ had;{have})
                                  (NP-OB1;{BIRTHDAY} (D an;{an})
                                                     (ADJP (ADJ unforgettable;{unforgettable}))
                                                     (N birthday;{birthday}))))
              (PUNC ?))
  (ID 22_a_fce_0102_2001_06))

arc(r_0022_0001__Have,r_0022_0004__had,scope).
arc(r_0022_0004__had,r_0022_0002__you,arg0).
arc(r_0022_0004__had,r_0022_0003__ever,nim).
arc(r_0022_0004__had,r_0022_0005__an_r_0022_0007__birthday,arg1).
arc(r_0022_0005__an_r_0022_0007__birthday,r_0022_0006__unforgettable,attrib).

fof(formula,axiom,
    ? [R_0022_0002__YOU,R_0022_0003__EVER,R_0022_0006__UNFORGETTABLE,R_0022_0005__AN_R_0022_0007__BIRTHDAY,R_0022_0001__HAVE_R_0022_0004__HAD] :
      ( r_0022_0002__you(R_0022_0002__YOU)
      & r_0022_0003__ever(R_0022_0003__EVER)
      & r_0022_0006__unforgettable(R_0022_0006__UNFORGETTABLE)
      & r_0022_0001__Have_r_0022_0004__had(R_0022_0001__HAVE_R_0022_0004__HAD)
      & has_arg1(R_0022_0001__HAVE_R_0022_0004__HAD,R_0022_0005__AN_R_0022_0007__BIRTHDAY)
      & r_0022_0005__an_r_0022_0007__birthday(R_0022_0005__AN_R_0022_0007__BIRTHDAY)
      & has_attrib(R_0022_0005__AN_R_0022_0007__BIRTHDAY,R_0022_0006__UNFORGETTABLE)
      & has_nim(R_0022_0001__HAVE_R_0022_0004__HAD,R_0022_0003__EVER)
      & has_arg0(R_0022_0001__HAVE_R_0022_0004__HAD,R_0022_0002__YOU) ) ).