Initial commit of scripts to generate axioms from example sentences.