?X:?C :- ?X:?C@employees.

// Note that we use *=> to give types for attributes.
// These types will be inherited to instances as =>
// See query.flr for the type-checking rules.
division[|name=>\symbol,
	  employees=>employee,
	  location=>\symbol
|].

d1:division[
    	name->'Dee One',
	employees->{mary,john},
	location->'1 Main Drive'
].

d2:division[
    	name->'Dee 2',
	employees->bob,
	location->'1 Main Drive'
].

d3[
    	name->'Dee32',
	employees->john,
	location->'3 Main St'
].