domain.tplan2

Package domain {
	Domain {
	    pics : 
	    - MOVABLE
	    ; 
		entities : 
		- Object 
		- Controller 
		;
		events :
		- sends
		- receives
		- moves
		- moves_to
		;
	}
}