kraken официальный сайт — как опорной формулировки встречается в разных формулировках. Также описаны рабочие подходы, которые помогают в реальных условиях. Если анализировать построение, становится заметно, что она не фиксируется в одном виде, и перестраивается между вариантами. Внутри чередуются разные ракурсы, чтобы повысить вариативность. Если важно можно подстроить эти формулировки под конкретный контекст.
http://skupra-nat.uamt.feec.vutbr.cz:30000/claudioraley9/jacinto2017/-/issues/15