( (IP-IMP (VB;_phr_Vpr_ Apply;{apply[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Ocean;{Ocean})
                      (NPR World;{World})))
          (ADVP-NIM (ADV now;{now}))
          (PUNC !))
  (ID 28_a_fce_0102_2001_03))

arc(r_0028_0001__Apply,r_0028_0003__Ocean_r_0028_0004__World,r_0028_0002__to__clr).
arc(r_0028_0001__Apply,r_0028_0005__now,nim).
arc(r_0028_0001__Apply,z_0028_5002,arg0).

fof(formula,axiom,
    ? [R_0028_0003__OCEAN_R_0028_0004__WORLD,R_0028_0005__NOW,Z_0028_5002,R_0028_0001__APPLY] :
      ( r_0028_0003__Ocean_r_0028_0004__World(R_0028_0003__OCEAN_R_0028_0004__WORLD)
      & r_0028_0005__now(R_0028_0005__NOW)
      & z_0028_5002(Z_0028_5002)
      & r_0028_0001__Apply(R_0028_0001__APPLY)
      & has_arg0(R_0028_0001__APPLY,Z_0028_5002)
      & has_nim(R_0028_0001__APPLY,R_0028_0005__NOW)
      & has_r_0028_0002__to__clr(R_0028_0001__APPLY,R_0028_0003__OCEAN_R_0028_0004__WORLD) ) ).