SCHEMA Contract_arm;
TYPE contract_item =
EXTENSIBLE
SELECT;
END_TYPE;
ENTITY Contract;
id : STRING;
purpose : STRING;
kind : STRING;
END_ENTITY;
ENTITY Contract_assignment;
assigned_contract : Contract;
items : SET[1:?] OF contract_item;
END_ENTITY;
END_SCHEMA; -- Contract_arm