 		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;

			//panelSkin1.topGroup.includeInLayout = false;
			//panelSkin1.topGroup.visible = false;
		}
	}
}
			addElement(input1);	
			addElement(logicalContainer);
			
			argschemeButton = new spark.components.Button;
			argschemeButton.label = "+ Args";
			logicalContainer.addElement(argschemeButton);
			argschemeButton.addEventListener(MouseEvent.CLICK,addArgSchemeHandler);
			
			useButton = new spark.components.Button;
			useButton.label = "use as..";
			logicalContainer.addElement(useButton);
			useButton.addEventListener(MouseEvent.CLICK,toggle);
			useButton.toolTip="Whether a statement is universal or particular determines what kind of objections are possible against it. A 'universal statement' is defined here as a statement that can be falsified by one counter-example. In this sense, laws, rules, and all statements that include 'ought' or 'should,' etc., are universal statements. Anything else is treated as a particular statement, including statements about possibilities.";

		}
		
		public function onArgumentPanelCreate( e:FlexEvent):void
