A formal evaluation requires measuring the semantic distances of extracted semantics against the benchmark semantics.
the spans of texts need to be mapped to concepts and their relationships in the reference semantic structure, which provides a consistent and formal representation of biomedicine.