number of main halls

2 triples
GPTKB property

Random triples