 		public var buttonArea:Panel;
 		public var panelSkin:PanelSkin;
 		public var panelSkin1:PanelSkin;
-		public var reasonButton:spark.components.Button;
+		public var useButton:spark.components.Button;
 		public var argschemeButton:spark.components.Button;
 		public static var parentMap:AgoraMap;
 		public var inference:Inference;
 		public var logicalContainer:HGroup;
 		public var rules:Vector.<Inference>;
 		public var binders:Vector.<Binder>;
+		public var state:int;	//state=0 -> universal statement and state=1 -> particular statement
 		
 		public static const ARGUMENT_PANEL:int = 0;
 		public static const INFERENCE:int = 1;

			addElement(input1);	
			addElement(logicalContainer);
			
			//Bottom Panel
			/*
			var bLayout:HorizontalLayout = new HorizontalLayout;
			buttonArea = new Panel;
			buttonArea.layout = bLayout;
			reasonButton = new spark.components.Button;
			argschemeButton = new spark.components.Button;
			//buttonArea.addElement(reasonButton);
			buttonArea.addElement(argschemeButton);
			buttonArea.height = 20;
			addElement(buttonArea);
			this.reasonButton.label="+reason";
			//this.reasonButton.addEventListener(MouseEvent.CLICK,addReasonHandler);
			this.argschemeButton.label="argScheme";
			this.argschemeButton.addEventListener(MouseEvent.CLICK,addArgSchemeHandler);	
			*/
			argschemeButton = new spark.components.Button;
			argschemeButton.label = "+ Args";
			logicalContainer.addElement(argschemeButton);
			argschemeButton.addEventListener(MouseEvent.CLICK,addArgSchemeHandler);
		}
		
		public function onArgumentPanelCreate( e:FlexEvent):void

			//panelSkin1.topGroup.includeInLayout = false;
			//panelSkin1.topGroup.visible = false;
		}
		
		public function toggle(m:MouseEvent):void
		{
			if(this.state==0) {
				Alert.show("Toggling to particular statement");
				state = 1;
			} 
			else {
				state = 0;
				Alert.show("Toggling to universal statement");
			} 
			
		}
	}
}