The nonderivative representations for our axiomatic properties share the same Dyck language D 55 and homomorphism, but differ in terms of forbidden patterns.
also any conjunctive combination of these two properties shares these components and thus define a context-free language.