<?php
	class jtmsNode{
		var $label;
		var $inList;
		var $outList;
		var $fact;
		
		//function jtmsNode($fact){
		//	//use this constructor for asserting an anatomical fact
		//	//for instance if a fact is asserted by the user or such
		//	$this->fact = $fact;
		//	$this->inList = array("true");
		//	$this->label = "IN";
		//		
		//}
		
		function jtmsNode($fact, $justificationSet){
			//use for constructing nodes for facts deduced by the inference engine
			//justification set is a set of sets of horn clauses which assures the fact
			$this->fact = $fact;
			$this->label = "IN";
			$this->inList[] = $justificationSet;	
		}
		
		
	}


?>