majorVarieties

11 triples
GPTKB property