In symbolic logic, you can translate proper sentences to logical constructs: propositional or first order. This is very difficult to do in tweets because it is not written in proper english, at least not for the most part. So, I am designing an algorithm to convert tweets to logical constructs. If you have some ideas or would like to collaborate, let me know. Thanks!