number of exercises

7 triples
GPTKB property