Added fact listing functionality.