Fig. 1 User interface of JSequitur program.