smallest number in a state

1 triples
GPTKB property

Random triples