These three predicate symbols are intended to be interpreted as the immediate domination, domination, and precedence relations, respectively.
in a tree model, the literal x/~ y would be interpreted as node (referred to by the variable) x immediately dominates node (referred to by) y, the literal x/~ y would be interpreted such that x dominates y, and x -~ y indicates that x is to the left of y.