Towards a Compact Knowledge Representationby