Project(Extend(BGP( ?s ?num), ?ceil, ceil(?num) ), {?s, ?num, ?ceil})