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 z_000_18_a_lob_a01_1_r_0018_0002__revealed revealed 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] z_000_18_a_lob_a01_2 z_000_18_a_lob_a01_1_r_0018_0002__revealed->z_000_18_a_lob_a01_2 [arg1] r_0018_0001__All_quant All [quant] r_0018_0001__All_quant->z_000_18_a_lob_a01_1_r_0018_0002__revealed [scope] r_0018_0001__All_quant->z_000_18_a_lob_a01_2 [restriction] 
fof(formula,axiom,
    ! [Z_000_18_A_LOB_A01_2] :
      ( z_000_18_a_lob_a01_2(Z_000_18_A_LOB_A01_2)
     => ? [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(Z_000_18_A_LOB_A01_6)
          & z_000_18_a_lob_a01_1_r_0018_0002__revealed(Z_000_18_A_LOB_A01_1_R_0018_0002__REVEALED)
          & has_arg0(Z_000_18_A_LOB_A01_1_R_0018_0002__REVEALED,Z_000_18_A_LOB_A01_6)
          & has_arg1(Z_000_18_A_LOB_A01_1_R_0018_0002__REVEALED,Z_000_18_A_LOB_A01_2) ) ) ).


n18_a_lob_a01 n18_a_lob_a01__1_1_1_1 All n18_a_lob_a01__1_2_1_1 * n18_a_lob_a01__1_2_2_1 revealed n18_a_lob_a01__1_3_1 . n18_a_lob_a01__1 IP-MAT n18_a_lob_a01__1_1 NP-SBJ n18_a_lob_a01__1->n18_a_lob_a01__1_1 n18_a_lob_a01__1_2 IP-PPL-CAT n18_a_lob_a01__1->n18_a_lob_a01__1_2 n18_a_lob_a01__1_3 PUNC n18_a_lob_a01__1->n18_a_lob_a01__1_3 n18_a_lob_a01__1_1_1 Q;_nphd_ n18_a_lob_a01__1_1->n18_a_lob_a01__1_1_1 n18_a_lob_a01__1_1_1->n18_a_lob_a01__1_1_1_1 n18_a_lob_a01__1_2_1 NP-LGS n18_a_lob_a01__1_2->n18_a_lob_a01__1_2_1 n18_a_lob_a01__1_2_2 VVN;_Tn_ n18_a_lob_a01__1_2->n18_a_lob_a01__1_2_2 n18_a_lob_a01__1_2_1->n18_a_lob_a01__1_2_1_1 n18_a_lob_a01__1_2_2->n18_a_lob_a01__1_2_2_1 n18_a_lob_a01__1_3->n18_a_lob_a01__1_3_1 
( (IP-MAT (NP-SBJ (Q;_nphd_ All;{all}))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ revealed;{reveal}))
          (PUNC .))
  (ID 18_a_lob_a01))