<> <> <> <> DIRECTORY CDProperties; CDPropertiesExtras: CEDAR DEFINITIONS = BEGIN AppendLists: PROC [winner, looser: CDProperties.Properties] RETURNS [CDProperties.Properties]; END.