Content Planner
Two main problems:
- MCC Identification: need to omit information that is needed only by Nuprl and obtain communication-specific information
- Variable Type Representation: when a variable’s type can be described in a variety of ways, how do you find the alternate descriptions and when do you use them; specialization of a general problem