etails">details: <span class="extype" name="scala.List">List</span>[<span class="extype" name="org.semanticweb.owlapi.model.OWLAnnotation">OWLAnnotation</span>]</span>)</span><span class="result"> extends <a href="ObjectPropertyDetails.html" class="extype" name="net.sansa_stack.owl.common.parsing.ObjectPropertyDetails">ObjectPropertyDetails</a> with <span class="extype" name="scala.Product">Product</span> with <span class="extype" name="scala.Serializable">Serializable</span></span>
      </span>
      </h4