[envo] Annotation Properties

Generated with OWLDoc