Schema: Contract_arm



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