Add specs for new translator and primary predicates