Project(Filter((?type1 != ?type2), BGP( ?type1 * . ?prop ?type2 . ?prop ?type1)), {?type1, ?prop, ?type2})