"intelligent reasoner" . "intelligent reasoner" . . .