Added main method to definition.l