Records

1. Conjunction­Expression
2. Constant­Expression
3. Disjunction­Expression
4. Function­Expression
5. Negation­Expression