relative motion subgroup of motion, 3 assertions