Project(BGP( ?prop ?ec . ?ec + ), {?prop, ?ec})