/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : ex0007_birds007.cl
* Type       : KB
* Domain     : Examples
* Date       : 2023-12-19
* Version    : v1.0
* 
* Details    : Signature size        : 4
*              #Conditionals per KB  : 7
* 
* Refs       : 
*
* Comments   : 
*
****************************************************************/

signature
 f,b,w,p

conditionals
birds007{
  (f|b),
  (w|b),
  (b|p),
  (!f|p),
  (b|p,!f),
  (b|p,!f,w),
  (f|p,!b,!w)
}