Я не могу найти «сокращение или» в pySmt

Question

Работа с битвеком находится в pysmt.shortcuts.

Но я не могу найти операцию "сокращение или".

      import pysmt.shortcuts