An approach for generalising symbolic knowledge

- Dazeley, Richard, Kang, Byeongho