Extended domains/ranges/comments