runs through state

15 triples
GPTKB property