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_000_68_A_LOB_N01_2] :
      ( z_000_68_a_lob_n01_2(Z_000_68_A_LOB_N01_2)
     => ? [R_0068_0003__CERTAIN,R_0068_0002__WAS] :
          ( r_0068_0003__certain(R_0068_0003__CERTAIN)
          & r_0068_0002__was(R_0068_0002__WAS)
          & has_arg0(R_0068_0002__WAS,Z_000_68_A_LOB_N01_2)
          & has_prd(R_0068_0002__WAS,R_0068_0003__CERTAIN) ) ) ).

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