Simple Semantic Reasoner