over finite field F q

1 triples
GPTKB property