The study of how to automate the process of constructing and reasoning with meaning representations of natural language