( (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                      (NP-SBJ;{CUP} (PRO it;{it}))
                      (ADJP-PRD (ADJ safe;{safe})))
              (PUNC ?))
  (ID 9_a_takmi))

arc(r_0009_0001__Is,r_0009_0002__it,arg0).
arc(r_0009_0001__Is,r_0009_0003__safe,prd).

fof(formula,axiom,
    ? [R_0009_0002__IT,R_0009_0003__SAFE,R_0009_0001__IS] :
      ( r_0009_0002__it(R_0009_0002__IT)
      & r_0009_0003__safe(R_0009_0003__SAFE)
      & r_0009_0001__Is(R_0009_0001__IS)
      & has_prd(R_0009_0001__IS,R_0009_0003__SAFE)
      & has_arg0(R_0009_0001__IS,R_0009_0002__IT) ) ).