В общем суть такая.
Деревья я задаю так: 
tree = [node1, node2, ...]
node = [ tag, [ node1, node2, ... ] ]
Во-первых дерево является своим поддеревом. А вот во-вторых
Никак не могу сообразить, как задать отношение которое будет обозначать поддерево с тем же корнем. То есть отношение должно строиться как-то типа: если мы можем удалить произвольный лист, или переставить два произвольных элемента в произвольном списке вершин, то это тоже поддерево. Наверняка это гуглится, но тяжело гуглить коды на незнакомом языке) Если кто кинет пример или ссылку, буду очень признателен