Internal reasoner implementation work