Когда пердикат typep обрабатывает спецификатор типа and, он производит проверку на принадлежность к каждому подтипу слева направо и моментально останавливает проверку, в случае первого случившегося отрицательного результата. Таким образом, спецификатор and ведает себя подобно форме and. Цель такого сходства — позволить спецификатору типа satisfies зависеть от фильтрации предыдущим спецификатором типа. Например, предположим, что есть функция primep, которая принимает целое и возвращает t, если оно простое. Также предположим, что является ошибочным передавать любой объект, не являющийся целым, в primep. Тогда спецификатор будет выглядеть так:

никогда не вызовет ошибку, так как функция primep никогда не будет вызвана с объектом, который не удовлетворяет предыдущему типу integer.

Также как и для and, когда typep обрабатывает спецификатор типа or, он поочерёдно проверяет каждый подтип объединения слева направо и завершает обработку, как только принадлежность подтипу установлена.