 	import components.DynamicTextArea;
 	import components.Inference;
 	
+	import flash.utils.Dictionary;
+	
 	import mx.controls.Alert;
+	import mx.core.FlexGlobals;
 	
 	public class ConditionalSyllogism extends ParentArg
 	{		

			var reasonModels:Vector.<StatementModel> = argumentTypeModel.reasonModels;
			var claimModel:StatementModel = argumentTypeModel.claimModel;
			var inferenceModel:StatementModel = argumentTypeModel.inferenceModel;
			var i:int;
			
			inferenceModel.connectingString = StatementModel.IMPLICATION;
			
			if(claimModel.firstClaim && claimModel.statements.length < 2){
				claimModel.addTemporaryStatement();
			}
			
			if(reasonModels[0].statements.length < 2){
				reasonModels[0].addTemporaryStatement();
			}
			//connect the conclusion of the claim
			//to the conclusion of the inference

			for(i=0; i<reasonModels.length - 1; i++){
				removeDependence(reasonModels[i].statements[1], reasonModels[i+1].statements[0]);
			}
		
			//reason to inference
			removeDependence(reasonModels[reasonModels.length - 1].statements[1], inferenceModel.statements[0]);
			
