The predicates used, which are the binarization of the attributes described in section 3.2, are of the form "f = v", where f is a feature and v is a value (e.g: "-r v" p e mus_word = hospital").
the relation between X+%Y-Y and %Y-Y reveals some interesting facts.