The nonderivative representations for our axiomatic properties share the same Dyck language D 55 and homomorphism, but differ in terms of forbidden patterns.
1 A polytree (Rebane and Pearl, 1987) is a multitree whose underlying graph is a tree.