:- object(avltree,
implements(dictionaryp),
extends(term)).
% ... lots of elision ...
:- end_object.