Towards an Encyclopedia of Compositional Semantics: Documenting the Interface of the English Resource Grammar