Project(BGP( ?x (/+) ?y), {?x, ?y})