reduce one admit in LabeledChord to list lemmas
reduce one admit in LabeledChord to list lemmas

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord