TSPC 68_a_lob

68_a_lob_n01
Nothing was certain.

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

arc(r_0068_0001__Nothing__quant,r_0068_0002__was,scope).
arc(r_0068_0001__Nothing__quant,z_0068_5003,restriction).
arc(r_0068_0002__was,r_0068_0003__certain,prd).
arc(r_0068_0002__was,z_0068_5003,arg0).

fof(formula,axiom,
    ! [Z_0068_5003] :
      ( z_0068_5003(Z_0068_5003)
     => ? [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_0068_5003)
          & has_prd(R_0068_0002__WAS,R_0068_0003__CERTAIN) ) ) ).