can be simulated with

4 triples
GPTKB property