[theorem] Annotation Properties
Generated with
OWLDoc