The use of backgroundknowledge for generalisation in ILP