The document outlines the functional requirements for an article management system. It describes features for searching articles by author, category or keyword. It also describes functions for communicating, adding authors and reviewers, updating personal information, and assumptions about users. The requirements are translated into propositional calculus statements for the search, communicate, add, and update functions. Comments note challenges in translating natural language requirements to unambiguous mathematical statements.