reasoner_validator
