The corect way to deal with "reveals" is to make it a 3 place relation: x reveals quality of y. Existence is a property, so we shouldn't feel compelled to add "process" to the range.