def terminals(tree):
    
    """Returns a list of the terminal strings in tree"""

    def _terminals(node, terms):
        if isinstance(node, list):
            for child in node[1:]:
                _terminals(child, terms)
        else:
            terms.append(node)

    terms = []
    _terminals(tree, terms)
    return terms