For instance, xx = yy + 3 - min(4 .. 7) is matched by:
taking xx for a and yy + 3 - min(4 .. 7) for b
taking xx for c, yy + 3 for d and min(4 .. 7) for e