Learning_with_facts