Before revision: A computer implementation can recognize these inter-relationships to construct reasoning trees automatically.
After revision: A computer implementation can recognize these interrelationships to construct reasoning trees automatically.