Describir: Projectible predicates in analogue and simulated systems.