Jun Tanaka Richard Han Logic with Verbs http://arxiv.org/abs/0909.2309 2009 CoRR abs/0909.2309 db/journals/corr/corr0909.html#abs-0909-2309 informal publication