hasNegatedDependency
Logic
head
Clause