/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : ex0014_birds014.cl
* Type       : KB
* Domain     : Examples
* Date       : 2023-12-19
* Version    : v1.0
* 
* Details    : Signature size        : 6
*              #Conditionals per KB  : 6
* 
* Refs       : 
*
* Comments   : extension of birds013 with (d|w)
*
****************************************************************/

signature
   p, b, f, w, z, d

conditionals
birds014{
   (f | b),
   (!f | p),
   (b | p),
   (w | b),
   (z | w),
   (d | w)
}