    deferred class
    	EV_POSITIONED

    General
    	cluster: interface
    	description: "Abstraction for objects that have geometric position."
    	keywords: "position, width, height"

    Ancestors
    	EV_ANY*

    Queries
    	data: ANY
    	height: INTEGER_32
    	is_destroyed: BOOLEAN
    	minimum_height: INTEGER_32
    	minimum_width: INTEGER_32
    	width: INTEGER_32
    	x_position: INTEGER_32
    	y_position: INTEGER_32

    Commands
    	copy (other: [like Current] EV_POSITIONED)
    	destroy
    	set_data (some_data: [like data] ANY)

    Constraints
    	width not negative
    	height not negative
    	minimum width not negative
    	minimum height not negative