Context                Previous, Next                Top


18_a_lob_a01
All revealed.

%3 r_0018_0001__All_quant All [quant] z_000_18_a_lob_a01_1 r_0018_0001__All_quant->z_000_18_a_lob_a01_1 [scope] z_000_18_a_lob_a01_2 r_0018_0001__All_quant->z_000_18_a_lob_a01_2 [restriction] r_0018_0002__revealed revealed z_000_18_a_lob_a01_1->r_0018_0002__revealed [scope] r_0018_0002__revealed->z_000_18_a_lob_a01_2 [arg1] z_000_18_a_lob_a01_6 r_0018_0002__revealed->z_000_18_a_lob_a01_6 [arg0] 
arc(r_0018_0001__All_quant, z_000_18_a_lob_a01_1, scope).
arc(r_0018_0001__All_quant, z_000_18_a_lob_a01_2, restriction).
arc(r_0018_0002__revealed, z_000_18_a_lob_a01_2, arg1).
arc(r_0018_0002__revealed, z_000_18_a_lob_a01_6, arg0).
arc(z_000_18_a_lob_a01_1, r_0018_0002__revealed, scope).


%3 r_0018_0001__All_quant All [quant] z_000_18_a_lob_a01_1_r_0018_0002__revealed revealed r_0018_0001__All_quant->z_000_18_a_lob_a01_1_r_0018_0002__revealed [scope] z_000_18_a_lob_a01_2 r_0018_0001__All_quant->z_000_18_a_lob_a01_2 [restriction] z_000_18_a_lob_a01_1_r_0018_0002__revealed->z_000_18_a_lob_a01_2 [arg1] z_000_18_a_lob_a01_6 z_000_18_a_lob_a01_1_r_0018_0002__revealed->z_000_18_a_lob_a01_6 [arg0] 
fof(formula,axiom,
    ! [Z_18_A_LOB_A01_2] :
      ( true
     => ? [Z_18_A_LOB_A01_1_REVEALED,Z_18_A_LOB_A01_6] : z_18_a_lob_a01_1_revealed(Z_18_A_LOB_A01_1_REVEALED,Z_18_A_LOB_A01_6,Z_18_A_LOB_A01_2) ) ).


n18_a_lob_a01 n18_a_lob_a01_7 * n18_a_lob_a01_9 revealed n18_a_lob_a01_11 . n18_a_lob_a01_4 All n18_a_lob_a01_1 IP-MAT n18_a_lob_a01_2 NP-SBJ n18_a_lob_a01_1->n18_a_lob_a01_2 n18_a_lob_a01_5 IP-PPL-CAT n18_a_lob_a01_1->n18_a_lob_a01_5 n18_a_lob_a01_10 PUNC n18_a_lob_a01_1->n18_a_lob_a01_10 n18_a_lob_a01_3 Q;_nphd_ n18_a_lob_a01_2->n18_a_lob_a01_3 n18_a_lob_a01_3->n18_a_lob_a01_4 n18_a_lob_a01_6 NP-LGS n18_a_lob_a01_5->n18_a_lob_a01_6 n18_a_lob_a01_8 VVN;_Tn_ n18_a_lob_a01_5->n18_a_lob_a01_8 n18_a_lob_a01_6->n18_a_lob_a01_7 n18_a_lob_a01_8->n18_a_lob_a01_9 n18_a_lob_a01_10->n18_a_lob_a01_11 
( (IP-MAT (NP-SBJ (Q;_nphd_ All;{all}))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ revealed;{reveal}))
          (PUNC .))
  (ID 18_a_lob_a01))