Finite_clause loading ...