unzip

• kg
• sorts
• predicate
• formulae
• sultan
• beta
• afar
• lurking