X = tom Clauses with bodies are called rules.
X = tom Клаузули со тела се нарекуваат правила.