m' a semantic variant of a meaning iff and m' have exactly the same nodes, with the same category but not necessarily the same intension at each node, and, whenever a common intension appears at two terminal nodes in, a common intension also appears at those two nodes in m'.