( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ;{PRODUCT} (PRO it;{it}))
                      (ADJP-PRD (ADJ safe;{safe}))
                      (IP-INF-NSBJ (NP-LGS *)
                                   (TO to;{to})
                                   (VB;_Tn_ drink;{drink})))
              (PUNC ?))
  (ID 5_a_takmi))

arc(r_0005_0001__Is,r_0005_0003__safe,prd).
arc(r_0005_0001__Is,r_0005_0005__drink,arg0).
arc(r_0005_0005__drink,r_0005_0002__it,arg1).
arc(r_0005_0005__drink,z_0005_5002___star_,arg0).

fof(formula,axiom,
    ? [R_0005_0003__SAFE,R_0005_0002__IT,Z_0005_5002___STAR_,R_0005_0005__DRINK,R_0005_0001__IS] :
      ( r_0005_0002__it(R_0005_0002__IT)
      & r_0005_0003__safe(R_0005_0003__SAFE)
      & z_0005_5002___star_(Z_0005_5002___STAR_)
      & r_0005_0001__Is(R_0005_0001__IS)
      & has_arg0(R_0005_0001__IS,R_0005_0005__DRINK)
      & r_0005_0005__drink(R_0005_0005__DRINK)
      & has_arg0(R_0005_0005__DRINK,Z_0005_5002___STAR_)
      & has_arg1(R_0005_0005__DRINK,R_0005_0002__IT)
      & has_prd(R_0005_0001__IS,R_0005_0003__SAFE) ) ).