arc(r_0068_0001__Nothing_quant, r_0068_0002__was, scope).
arc(r_0068_0001__Nothing_quant, z_000_68_a_lob_n01_2, restriction).
arc(r_0068_0002__was, r_0068_0003__certain, prd).
arc(r_0068_0002__was, z_000_68_a_lob_n01_2, arg0).

fof(formula,axiom,
    ! [Z_68_A_LOB_N01_2] :
      ( true
     => ? [R_68_2_WAS,R_68_3_CERTAIN] :
          ( certain(R_68_3_CERTAIN)
          & was(R_68_2_WAS,Z_68_A_LOB_N01_2,R_68_3_CERTAIN) ) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ Nothing;{nothing}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ certain;{certain}))
          (PUNC .))
  (ID 68_a_lob_n01))