
eg := (a?[r]>r![] & a?[r]>r![] & a?[r]>r![])
	& a![b] & (b?[]>nil)
	& a![c] & (c?[]>nil) .

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


