Term abduction two-layer iterative deepening.