:- object(avltree,
	implements(dictionaryp),
	extends(term)).

% ... lots of elision ...

:- end_object.