Formatted code.
Added semantics sets of elements.