/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : med0031_HIV4.cl
* Type       : KB
* Domain     : Medical
* Date       : 2023-12-06
* Version    : v1.0
* 
* Details    : Signature size        : 4
*              #Conditionals per KB  : 4
* 
* Refs       : [Osi20] A. Osiak (2020). Anwendungsbeispiele aus dem biomedizinischen Bereich für die Verarbeitung unsicheren Wissens mit qualitativen Konditionalen, Bachelor Thesis, Univ. of Hagen, Germany.
*
* Comments   : h => HIV-infected humans, v => to be HIV-positive, c => to have functional CCR5-receptor, r => a rare HIV-virus, using CXCR4-receptor as entry
* 
****************************************************************/

signature
 	h,v,c,r	

conditionals
HIV4{
	(c|h),
	(v|c),
	(!v|!c),
	(v|!c,r)
}