StanfordCoreNLP2014
appeasing new eclipse
induction functions still nonsensical, should use dependent lambdas