/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
*               
* File       : all_kb_ab_ANF_1353105-1353105.cl
* Type       : KB
* Domain     : all KBs over {a,b} in ANF
* Date       : 2023-10-23
* Version    : v1.0
* 
* Details    : Signature size        : 2
*              #Conditionals per KB  : 11
* 
* Refs       : [BK19] Beierle, Kutsch (2019). On the Antecedent normal form of Conditional Knowledge Bases (DOI: 10.1007/978-3-030-29765-7_15)
*
* Comments   : 
* 
****************************************************************/

signature
a,b

conditionals
kb_ab_ANF_1353105{
( a,b   | a,b ; !a,b   ),
( a,!b   | a,b ; a,!b   ),
( !a,!b   | a,b ; !a,!b   ),
( a,!b   | a,!b ; !a,b   ),
( !a,!b   | a,!b ; !a,!b   ),
( !a,!b   | !a,b ; !a,!b   ),
( a,!b ; !a,b   | a,b ; a,!b ; !a,b   ),
( a,!b ; !a,!b   | a,b ; a,!b ; !a,!b   ),
( !a,b ; !a,!b   | a,b ; !a,b ; !a,!b   ),
( !a,b ; !a,!b   | a,!b ; !a,b ; !a,!b   ),
( a,!b ; !a,b ; !a,!b   | a,b ; a,!b ; !a,b ; !a,!b   )
}