 		public static var parentMap:AgoraMap;
 		public var inference:Inference;
 		public var logicalContainer:HGroup;
+		public var topH:HGroup;
 		public var rules:Vector.<Inference>;
 		public var binders:Vector.<Binder>;
 		public var state:int;	//state=0 -> universal statement and state=1 -> particular statement

			//Create a UIComponent for clicking and dragging
			topArea = new UIComponent;
			
			logicalContainer = new HGroup();
			//Register event handlers
			//Creation Complete event handlers

			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
