Fact_pattern loading ...