
% ----------------------------------------------------------------------

% sem := v![] & p?*[]>v![].
sem := p![] & v?*[]>p![].

printer := print?*[r]>r![].

client(R) := p?[]>print![R] & R?[]>print![R] & R?[]>v![].

eg := sem & printer & client(r1) & client(r2).

% Should be:
% client := v?[]>r\(print![r] & r?[]>(print![r] & r?[]>p![])).
% eg := sem & printer & client & client.

% ----------------------------------------------------------------------

