?- phrase(sedol, SEDOL), label(SEDOL).
SEDOL = "0000000" ;
SEDOL = "0000011" ;
SEDOL = "0000022" ;
SEDOL = "0000033" ;
SEDOL = "0000044" ;
SEDOL = "0000055" ;
SEDOL = "0000066" ;
SEDOL = "0000077" ;
SEDOL = "0000088" ;
SEDOL = "0000099" ;
SEDOL = "00000B1" ;
SEDOL = "00000C2" ;
SEDOL = "00000D3" ;
SEDOL = "00000F5" ;
SEDOL = "00000G6" ;
SEDOL = "00000H7" ;
SEDOL = "00000J9" ;
SEDOL = "00000K0" ;
SEDOL = "00000L1" ;
SEDOL = "00000M2" .  % etc...