change unify, add examples, try relations & facts