( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (BEP;_Ipr_ <apos>m;{be[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (D a;{a})
                      (N journey;{journey})))
          (PUNC .))
  (ID 29_a_goodwill))

arc(r_0029_0004___apos_m_r_0029_0005__on,r_0029_0001__Now,nim).
arc(r_0029_0004___apos_m_r_0029_0005__on,r_0029_0003__I,arg0).
arc(r_0029_0004___apos_m_r_0029_0005__on,r_0029_0006__a_r_0029_0007__journey,arg1).

fof(formula,axiom,
    ? [R_0029_0001__NOW,R_0029_0003__I,R_0029_0006__A_R_0029_0007__JOURNEY,R_0029_0004___APOS_M_R_0029_0005__ON] :
      ( r_0029_0001__Now(R_0029_0001__NOW)
      & r_0029_0003__I(R_0029_0003__I)
      & r_0029_0006__a_r_0029_0007__journey(R_0029_0006__A_R_0029_0007__JOURNEY)
      & r_0029_0004___apos_m_r_0029_0005__on(R_0029_0004___APOS_M_R_0029_0005__ON)
      & has_arg1(R_0029_0004___APOS_M_R_0029_0005__ON,R_0029_0006__A_R_0029_0007__JOURNEY)
      & has_arg0(R_0029_0004___APOS_M_R_0029_0005__ON,R_0029_0003__I)
      & has_nim(R_0029_0004___APOS_M_R_0029_0005__ON,R_0029_0001__NOW) ) ).