<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def printPropertyTree(self, element=None, showids=False, labels=False, showtype=False):
 """ Print nicely into stdout the property tree of an ontology Note: indentation is made so that ids up to 3 digits fit in, plus a space. [123]1-- [1]123-- [12]12-- """

        TYPE_MARGIN = 18  # length for owl:AnnotationProperty etc..

        if not element:  # first time
            for x in self.toplayer_properties:
                printGenericTree(x, 0, showids, labels, showtype, TYPE_MARGIN)

        else:
            printGenericTree(element, 0, showids, labels, showtype, TYPE_MARGIN)