Description: Extend the definition of a wff to include the member partition predicate, i.e., the member partition relation predicate. (Read: A is a member partition.)