That doesn't explain the third line. Your rule would result in
(if condition
(1)
(else-clause))