Implement 'Auto' predicate.