Removing obsolete code
Revised logical grammar
Revised modeling code
Precision threshold for more intuitive summaries