?- SEDOL = [0'7, _, 0'0, 0'8, 0'8, 0'9, 0'9], phrase(sedol, SEDOL), label(SEDOL). SEDOL = "7108899" ; SEDOL = "7B08899" ; SEDOL = "7L08899" ; SEDOL = "7V08899".