is a signature technique of

4 triples
GPTKB property