Initial structure and functionality of reasoner