Support for ambiguity resolution
Using function to print things out instead