Extended structural reasoner.
Extended structural reasoner.