(op+ (op* id:a id:b) id:c)