TY - RPRT TI - Logic With Verbs and its Mathematical Structure AU - Jun Tanaka PY - 2010 UR - https://arxiv.org/abs/1001.3469 ID - 1001.3469 ER -