/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : all_kb_abc_rhoRANF_1367828-1367828.cl
* Type       : KB
* Domain     : all KBs over {a,b,c} in rhoRANF
* Date       : 2023-12-21
* Version    : v1.0
* 
* Details    : Signature size        : 3
*              #Conditionals per KB  : 2
* 
* Refs       : [BH20] Beierle, Haldimann (2020). Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings (DOI: 10.1007/978-3-030-39951-1_2)
*
* Comments   : 
*
****************************************************************/

signature
a,b,c

conditionals
kb_abc_rhoRANF_1367828{
( a,b,c ; a,b,!c ; a,!b,c ; !a,b,!c   | a,b,c ; a,b,!c ; a,!b,c ; a,!b,!c ; !a,b,!c   ),
( a,b,c ; a,!b,c ; a,!b,!c ; !a,b,!c ; !a,!b,!c   | a,b,c ; a,b,!c ; a,!b,c ; a,!b,!c ; !a,b,!c ; !a,!b,!c   )
}