/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : randomTest_4_4_0.cl
* Type       : KB
* Domain     : Randomly Generated
* Date       : 2024-03-06
* Version    : v1.0
* 
* Details    : Signature size        : 4
*              #Conditionals per KB  : 4    
* 
* Refs       : [BSB24] von Berg, Sanin, Beierle (2024), Scaling Up Nonmonotonic c-Inference via Partial MaxSAT Problems, FoIKS 2024.
*
* Comments   : 
****************************************************************/

signature
uuqavd,zcufcc,lswcbu,drbksm
conditionals
randomTest_4_4_0 {
((uuqavd;(zcufcc,lswcbu))|drbksm),
((zcufcc,drbksm)|((!(!(!(!uuqavd))));(!lswcbu))),
(((lswcbu,zcufcc),uuqavd)|drbksm),
(((lswcbu,zcufcc),drbksm)|uuqavd)
}