Halliday & Matthiessen (2014: 325):
The additive represents the process as a two instances; here both entities clearly share the same participant function, but one of them is represented circumstantially for the purpose of contrast. … when one participant is represented circumstantially it can be given the status of [marked] Theme …