Project(BGP( ?type * . ?prop ?type), {?prop, ?type})