[SuperTerm] Annotation Properties

Generated with OWLDoc