rule r{condition:r(for 7e in(6):(1)