Project(Filter(exists((extend, (table, unit), ?o, 1)) , BGP( ?o)), {?o})