@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix prob:	<http://www.example.org/ns/prob#>.
@prefix role:	<http://www.example.org/ns/role#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ex:	<http://www.example.org/ns/example#>.

_:Patient	a	foaf:Person.

_:HasMetastaticCancer
	a	prob:Clause;
	prob:predicate	ex:has;
	role:patient	_:Patient;
	role:theme	[a ex:MetastaticCancer].
	
_:NotHaveMetastaticCancer
	a	prob:Clause;
	prob:negationOf	_:HasMetastaticCancer.

[	a		prob:ProbabilisticStatements;
	prob:condition	ex:HasMetastaticCancer;
	prob:consequence	_:SerumCalciumPS1;
	prob:consequence	_:SerumCalciumPS2
].

[	a		prob:ProbabilisticStatements;
	prob:condition	ex:NotHaveMetastaticCancer;
	prob:consequence	_:SerumCalciumPS3;
	prob:consequence	_:SerumCalciumPS4
].

_:SerumCalciumPS1
	a		prob:ProbabilisticStatement;
	prob:about		_:HighSerumCalcium;
	prob:hasProbability	[a prob:Probability; rdf:value 0.80].

_:SerumCalciumPS2
	a		prob:ProbabilisticStatement;
	prob:about		_:LowSerumCalcium;
	prob:hasProbability	[a prob:Probability; rdf:value 0.20].

_:SerumCalciumPS3
	a		prob:ProbabilisticStatement;
	prob:about		_:HighSerumCalcium;
	prob:hasProbability	[a prob:Probability; rdf:value 0.20].

_:SerumCalciumPS4
	a		prob:ProbabilisticStatement;
	prob:about		_:LowSerumCalcium;
	prob:hasProbability	[a prob:Probability; rdf:value 0.80].

_:HighSerumCalcium
	a	prob:Clause;
	prob:predicate	ex:high;
	role:theme	_:SerumCalcium.

_:LowSerumCalcium
	a	prob:Clause;
	prob:predicate	ex:low;
	role:theme	_:SerumCalcium.

_:SerumCalcium
	a	ex:SerumCalcium.


[	a	prob:Clause;
	prob:predicate	ex:have;
	role:patient	_:Patient;
	role:them	_:SerumCalcium
].