Entrenched_clause loading ...