( (IP-MAT (NP-SBJ;{CUP} (D The;{the})
                        (N cup;{cup}))
          (VBD;_V_as_though/as_if/like_ looked;{look[like]})
          (PP-CLR (P-ROLE like;{like})
                  (IP-ADV (NP-SBJ;{CUP} (PRO it;{it}))
                          (BED;_cat_VePASS_ was;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (ADVP-NIM (ADV already;{already}))
                                      (VVN;_Tn_ opened;{open}))))
          (PUNC .))
  (ID 8_a_takmi))

arc(r_0008_0003__looked,r_0008_0001__The_r_0008_0002__cup,arg0).
arc(r_0008_0003__looked,r_0008_0006__was,r_0008_0004__like__clr).
arc(r_0008_0006__was,r_0008_0008__opened,scope).
arc(r_0008_0008__opened,r_0008_0001__The_r_0008_0002__cup,arg1).
arc(r_0008_0008__opened,r_0008_0007__already,nim).
arc(r_0008_0008__opened,z_0008_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0008_0001__THE_R_0008_0002__CUP,R_0008_0007__ALREADY,Z_0008_5006___STAR_,R_0008_0006__WAS_R_0008_0008__OPENED,R_0008_0003__LOOKED] :
      ( r_0008_0001__The_r_0008_0002__cup(R_0008_0001__THE_R_0008_0002__CUP)
      & r_0008_0007__already(R_0008_0007__ALREADY)
      & z_0008_5006___star_(Z_0008_5006___STAR_)
      & r_0008_0003__looked(R_0008_0003__LOOKED)
      & has_r_0008_0004__like__clr(R_0008_0003__LOOKED,R_0008_0006__WAS_R_0008_0008__OPENED)
      & r_0008_0006__was_r_0008_0008__opened(R_0008_0006__WAS_R_0008_0008__OPENED)
      & has_arg0(R_0008_0006__WAS_R_0008_0008__OPENED,Z_0008_5006___STAR_)
      & has_nim(R_0008_0006__WAS_R_0008_0008__OPENED,R_0008_0007__ALREADY)
      & has_arg1(R_0008_0006__WAS_R_0008_0008__OPENED,R_0008_0001__THE_R_0008_0002__CUP)
      & has_arg0(R_0008_0003__LOOKED,R_0008_0001__THE_R_0008_0002__CUP) ) ).