Cursor is placed at position: (11, 18)
Recorded colors on the source code are:
Color "goal_tag" from (5, 6) to (5, 11)
Color "premise_tag" from (6, 15) to (6, 21)
Color "goal_tag" from (7, 20) to (7, 21)
Color "goal_tag" from (10, 18) to (10, 28)
End color
