def get_entailments(synset):
    """ Look up and return the entailments for a given verbal synset. """
    
    entailments = synset.entailments()
    entailments = sorted(lemma.name() for synset in entailments for lemma in synset.lemmas())
    
    return entailments