let a be Element of A,s; :: thesis: a is DecoratedTree-like
a is Element of the Sorts of A . s ;
hence a is DecoratedTree-like ; :: thesis: verum