SMT Options (-ci)
This option is used to show SMT program configuration information. It includes:
> smt -ci CONFIG_FILE: [data.Config.smt] ROOT_DIR: [/Projects/STMT/stmt2013/] SYNONYM_FILE: [data/tables/normTermSynonyms.data] LVG_CONFIG_FILE: [/Projects/STMT/stmt2013/data/Config/lvg.properties] VERBOSE_FLAG: [false] DB_NAME: [stmt2013]