( (IP-MAT (ADVP-NIM (ADV Maybe;{maybe}))
          (NP-SBJ;{FOMAR} (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn_ discover;{discover}))
          (PUNC <mdash>))
  (ID 146_a_dick_1952))

arc(r_0146_0003__can,r_0146_0001__Maybe,nim).
arc(r_0146_0003__can,r_0146_0004__discover,scope).
arc(r_0146_0004__discover,r_0146_0002__you,arg0).

fof(formula,axiom,
    ? [R_0146_0001__MAYBE,R_0146_0002__YOU,R_0146_0003__CAN_R_0146_0004__DISCOVER] :
      ( r_0146_0001__Maybe(R_0146_0001__MAYBE)
      & r_0146_0002__you(R_0146_0002__YOU)
      & r_0146_0003__can_r_0146_0004__discover(R_0146_0003__CAN_R_0146_0004__DISCOVER)
      & has_arg0(R_0146_0003__CAN_R_0146_0004__DISCOVER,R_0146_0002__YOU)
      & has_nim(R_0146_0003__CAN_R_0146_0004__DISCOVER,R_0146_0001__MAYBE) ) ).