Pohon sintaks dari rumus ∀
x
(
∃
y
B
(
x
,
y
)
)
∨
C
(
y
,
x
)


{\displaystyle \forall x(\exists yB(x,y))\vee C(y,x)} , menggambarkan ruang lingkup dan tangkapan variabel. Kemunculan variabel terikat dan bebas masing-masing diberi warna merah dan hijau.