My intuition to favor reducibility leads me to think that this sort of structure would be an accurate representation of knowledge.