Cursor is placed at position: (8, 14)
Recorded colors on the source code are:
Color "goal_tag" from (6, 12) to (6, 20)
Color "goal_tag" from (7, 14) to (7, 28)
Color "premise_tag" from (9, 4) to (9, 23)
End color
