/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : ex0051_car_anf.cl
* Type       : KB
* Domain     : Examples
* Date       : 2023-12-18
* Version    : v1.0
* 
* Details    : Signature size        : 3
*              #Conditionals per KB   : 3
* 
* Refs       : [BK19] Beierle, Kutsch (2019). On the Antecedent Normal Form of Conditional Knowledge Bases (DOI: 10.1007/978-3-030-29765-7_15)
*
* Comments   : c => car, e => electric car, f => needing fossil fuel
*              result of transforming ex0050_car.cl into ANF, the ..._readable kb is equivalent to the first one but in a more readable format
*
****************************************************************/

signature
    c,e,f

conditionals
car_anf{
    ((c,e,f) ; (c,!e,f) | (c,e,f) ; (c,e,!f) ; (c,!e,f) ; (c,!e,!f)),
    ((c,!e,f) ; (c,!e,!f) ; (!c,!e,f) ; (!c,!e,!f) | (c,e,f) ; (c,e,!f) ; (c,!e,f) ; (c,!e,!f) ; (!c,e,f) ; (!c,e,!f) ; (!c,!e,f) ; (!c,!e,!f)),
    (c,e,!f | (c,e,f) ; (c,e,!f) ; (!c,e,f) ; (!c,e,!f))
}
car_anf_readable{
    (c,f|c),
    (!e|Top),
    (c,e,!f|e)
}