Obecné závislosti - příklad

• x (zam(x)  y (plat(y)  vydělává (x,y))

• x,y1,y2(vydělává(x,y1)  vydělává(x,y2)  y1=y2)

• x, z (vede(x,z)  zam(x))

• x,y,z (vydělává(x,y)  vede(x,z)  y > 5000)

• x, z (vede(x,z)  y (řeší(x,y) ))

• x,y,z ((vede(x,z)  řeší(x,y))  o je_č(x,o) )