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

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

acme:company[
    	name->'A Inc',
	divisions->{d1,d2},
	location->'foobar Dr'
].

abcinc:company[
    	name->'ABC Construction',
	divisions->d3,
	location->'2 Main Rd.'
].