Before revision: The theory also requires that if a match maps subject to target then the arguments of subject and target must also be mapped.
After revision: The theory also requires that if a match maps subject to target , the arguments of subject and target must also be mapped.