is a finitely presented algebra

1 triples
GPTKB property