GUI: use shorter label for clause kind
Authored by: "Jean-Francois Dockes ext:(%22) 2012-03-13
Parent(s): [8f61af]
Child(ren): [9ff88a]