             type: 'sort'
 
 parseBody = (str) ->
-    parseGoal(str) || parseTerm(str) || parseMeta(str) || parseSort(str)
+    parseGoal(str) || parseTerm(str) || parseMeta(str) || parseTerm2(str) || parseSort(str)
 
 regexLocation = /(?:(.+):)?(?:(\d+)\,(\d+)\-(\d+)\,(\d+)|(\d+)\,(\d+)\-(\d+))/
 parseLocation = (str) ->

        body: result[2]
        type: 'goal'

regexTerm = /^(?:([^\_\?].*) \: )?((?:\n|.)+)/
parseTerm = (str) ->
    result = str.match regexTerm
    if result

            location: occurence.location
            type: 'meta'

regexTerm2 = /^((?:\n|.)+)/
parseTerm2 = (str) ->
    result = str.match regexTerm2
    if result
        index: result[1]
        type: 'term'

regexSort = /^Sort ((?:\n|.)+)/
parseSort = (str) ->
    occurence = parseOccurence str
