voting system (Senate)

4 triples
GPTKB property