Context                Previous, Next                Top


68_a_lob_n01
Nothing was certain.

%3 r_0068_0001__Nothing_quant Nothing [quant] r_0068_0002__was was r_0068_0001__Nothing_quant->r_0068_0002__was [scope] z_000_68_a_lob_n01_2 r_0068_0001__Nothing_quant->z_000_68_a_lob_n01_2 [restriction] r_0068_0002__was->z_000_68_a_lob_n01_2 [arg0] r_0068_0003__certain certain r_0068_0002__was->r_0068_0003__certain [prd] 
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).


%3 r_0068_0001__Nothing_quant Nothing [quant] r_0068_0002__was was r_0068_0001__Nothing_quant->r_0068_0002__was [scope] z_000_68_a_lob_n01_2 r_0068_0001__Nothing_quant->z_000_68_a_lob_n01_2 [restriction] r_0068_0002__was->z_000_68_a_lob_n01_2 [arg0] r_0068_0003__certain certain r_0068_0002__was->r_0068_0003__certain [prd] 
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) ) ) ).


n68_a_lob_n01 n68_a_lob_n01_4 Nothing n68_a_lob_n01_6 was n68_a_lob_n01_9 certain n68_a_lob_n01_11 . n68_a_lob_n01_1 IP-MAT n68_a_lob_n01_2 NP-SBJ n68_a_lob_n01_1->n68_a_lob_n01_2 n68_a_lob_n01_5 BED;_La_ n68_a_lob_n01_1->n68_a_lob_n01_5 n68_a_lob_n01_7 ADJP-PRD n68_a_lob_n01_1->n68_a_lob_n01_7 n68_a_lob_n01_10 PUNC n68_a_lob_n01_1->n68_a_lob_n01_10 n68_a_lob_n01_3 Q;_nphd_ n68_a_lob_n01_2->n68_a_lob_n01_3 n68_a_lob_n01_3->n68_a_lob_n01_4 n68_a_lob_n01_5->n68_a_lob_n01_6 n68_a_lob_n01_8 ADJ n68_a_lob_n01_7->n68_a_lob_n01_8 n68_a_lob_n01_8->n68_a_lob_n01_9 n68_a_lob_n01_10->n68_a_lob_n01_11 
( (IP-MAT (NP-SBJ (Q;_nphd_ Nothing;{nothing}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ certain;{certain}))
          (PUNC .))
  (ID 68_a_lob_n01))