draw size (ATP)

5 triples
GPTKB property

Random triples