хвост формулы

Tail of a clause