( (FRAG (PULQ <lquo>)
        (NP (IP-REL (NP-187 (RPRO Whom;{who}))
                    (NP-SBJ (PRO you;{you}))
                    (ADVP-NIM (ADV never;{never}))
                    (ADVP-NIM (ADV once;{once}))
                    (VBD;__ managed;{manage})
                    (IP-INF-OB1 (NP-OB1 *ICH*-187)
                                (TO to;{to})
                                (VB;__ circumvent;{circumvent}))))
        (PUNC .)
        (PURQ <rquo>))
  (ID 67_a_lob_n02))

arc(r_0067_0006__managed,r_0067_0003__you,arg0).
arc(r_0067_0006__managed,r_0067_0004__never,nim).
arc(r_0067_0006__managed,r_0067_0005__once,nim).
arc(r_0067_0006__managed,r_0067_0008__circumvent,arg1).
arc(r_0067_0008__circumvent,r_0067_0002__Whom,arg1).
arc(r_0067_0008__circumvent,r_0067_0003__you,arg0).
arc(z_0067_5009,r_0067_0002__Whom,z_0067_5002).

fof(formula,axiom,
    ? [R_0067_0003__YOU,R_0067_0004__NEVER,R_0067_0005__ONCE,R_0067_0002__WHOM,R_0067_0008__CIRCUMVENT,R_0067_0006__MANAGED,Z_0067_5009] :
      ( r_0067_0002__Whom(R_0067_0002__WHOM)
      & r_0067_0003__you(R_0067_0003__YOU)
      & r_0067_0004__never(R_0067_0004__NEVER)
      & r_0067_0005__once(R_0067_0005__ONCE)
      & z_0067_5009(Z_0067_5009)
      & has_z_0067_5002(Z_0067_5009,R_0067_0002__WHOM)
      & r_0067_0006__managed(R_0067_0006__MANAGED)
      & has_arg1(R_0067_0006__MANAGED,R_0067_0008__CIRCUMVENT)
      & r_0067_0008__circumvent(R_0067_0008__CIRCUMVENT)
      & has_arg0(R_0067_0008__CIRCUMVENT,R_0067_0003__YOU)
      & has_arg1(R_0067_0008__CIRCUMVENT,R_0067_0002__WHOM)
      & has_nim(R_0067_0006__MANAGED,R_0067_0005__ONCE)
      & has_nim(R_0067_0006__MANAGED,R_0067_0004__NEVER)
      & has_arg0(R_0067_0006__MANAGED,R_0067_0003__YOU) ) ).