Sin embargo, cuanto más expresivo es un lenguaje, más difícil es derivar inferencias automáticamente de él.