@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix prob:<http://yet-to-be-defined/prob-ns#>.
@prefix ex:<#>.

# MetastaticCancer

_:MetastaticCancer	a	prob:Clause;
	prob:predicate	ex:hasMetastaticCancer;
	rdfs:comment "proposition hasMetastaticCancer".

_:NotMetastaticCancer	a	prob:Clause;
	prob:negationOf	_:MetastaticCancer;
	rdfs:comment	"proposition !hasMetastaticCancer".

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:MetastaticCancer;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.20];
	rdfs:comment "giving Pr(hasMetastaticCancer)"].

# SerumCalcium

_:SerumCalcium	a	prob:Clause;
	prob:predicate	ex:increasedTotalSerumCalcium;
	rdfs:comment	"proposition increasedTotalSerumCalcium".

_:NotSerumCalcium	a	prob:Clause;
	prob:negationOf	_:SerumCalcium;
	rdfs:comment	"proposition !hasMetastaticCancer".

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:SerumCalcium;
	prob:condition		_:MetastaticCancer;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.80];
	rdfs:comment	"giving P(increasedTotalSerunCalcium | hasMetastaticCancer)"].

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:SerumCalcium;
	prob:condition		_:NotMetastaticCancer;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.20];
	rdfs:comment	"giving P(increasedTotalSerunCalcium | !hasMetastaticCancer)"].


# BrainTumor

_:BrainTumor	a	prob:Clause;
	prob:predicate	ex:hasBrainTumor;
	rdfs:comment	"proposition hasBrainTumor".

_:NotBrainTumor	a	prob:Clause;
	prob:negationOf	_:BrainTumor;
	rdfs:comment	"proposition !hasBrainTumor".

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:BrainTumor;
	prob:condition		_:MetastaticCancer;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.20];
	rdfs:comment	"giving P(hasBrainTumor | hasMetastaticCancer)"].

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:BrainTumor;
	prob:condition		_:NotMetastaticCancer;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.05];
	rdfs:comment	"giving P(hasBrainTumor | !hasMetastaticCancer)"].

# Coma

_:Coma	a	prob:Clause;
	prob:predicate	ex:inComa;
	rdfs:comment	"proposition inComa".

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:Coma;
	prob:condition		_:SerumCalcium;
	prob:condition		_:BrainTumor;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.80];
	rdfs:comment	"giving P(inComa | increasedTotalSerunCalcium & hasBrainTumor)"].

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:Coma;
	prob:condition		_:SerumCalcium;
	prob:condition		_:NotBrainTumor;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.80];
	rdfs:comment	"giving P(inComa | increasedTotalSerunCalcium & !hasBrainTumor)"].

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:Coma;
	prob:condition		_:NotSerumCalcium;
	prob:condition		_:BrainTumor;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.80];
	rdfs:comment	"giving P(inComa | !increasedTotalSerunCalcium & hasBrainTumor)"].

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:Coma;
	prob:condition		_:NotSerumCalcium;
	prob:condition		_:NotBrainTumor;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.05];
	rdfs:comment	"giving P(inComa | !increasedTotalSerunCalcium & !hasBrainTumor)"].

# HeadAche

_:HeadAche	a	prob:Clause;
	prob:predicate	ex:hasSevereHeadAche;
	rdfs:comment	"proposition hasSevereHeadAche".

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:HeadAche;
	prob:condition		_:BrainTumor;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.80];
	rdfs:comment	"giving P(hasSevereHeadAche | hasBrainTumor)"].

[	a	prob:ProbabilisticStatement;
	prob:consequence	_:HeadAche;
	prob:condition		_:NotBrainTumor;
	prob:hasProbability	[a	prob:Probability;
				 rdf:value	0.60];
	rdfs:comment	"giving P(hasSevereHeadAche | !hasBrainTumor)"].