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