lsaavedr/predicates archive