There are several properties a meaning representation should have in order to be able to reason about it. The main features are described below.
A meaning representation should be verifiable. That is to say that is a truth value must be determinable for each representation.
There must be no ambiguity in the final representation of a meaning. If this is not the case then it will be impossible to reason about it.
Inputs with the same meaning, although not necessarily the same words, or word order, should have the same meaning representation.
It must be able to use variables in order for a system to provide inference over, and draw conclusions from, the representations.
Finally the representation must be expressive enough to adequately cover as many meaning structures as possible.