Compaction subproperties

Constructing a map of the compaction property and its subproperties.