adding fact insertion functionality
add function to cater for insertion of different facts