/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : ex0052_car_tau.cl
* Type       : KB
* Domain     : Examples
* Date       : 2023-12-18
* Version    : v1.0
* 
* Details    : Signature size        : 3
*              #Conditionals per KB  : 4
* 
* Refs       : [BEK17] Beierle, Eichhorn, Kern-Isberner (2017). A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases (DOI: 10.1007/978-3-319-61581-3_22)
*
* Comments   : c => car, e => electric car, f => needing fossil fuel
*              result of transforming ex0050_car.cl using the transformation system Tau proposed in [BEK17]
*
****************************************************************/

signature
    c,e,f

conditionals
car_tau{
    (c,f|c),
    (!f|e),
    (c|e),
    (!e|Top)
}