Describe((?type2, ?type1, ?prop), BGP( ?type1 * . ?prop ?type2 . ?prop ?type1 . ?type2 * ))