In this paper, we have proposed an extension to ER conceptual modelling that fully
models the space of all answerable questions, which is demonstrably an extension of
the relations of standard data modelling theory, and which is underpinned by formal
category theory