semantic-reasoner