artificial gravity subgroup of gravity, 1 assertions