?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.
project[|name=>\symbol,
	 division=>division,
	 participants=>employee
|].

foobar2000:project[
    	name-> 'Foobar 2000',
	division->d1,
	participants->{john,mary}
].
foobar3000:project[
    	name-> 'Foobar 3000',
	division->d2,
	participants->bob
].