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