the annotation matrix of the most specific annotations (0/1): rows are genes and columns are terms.
ann
the full annotation matrix (0/1), i.e. the matrix where the transitive closure of the annotation was performed.
Rows are examples and columns are terms.
Value
If the transitive closure of the annotations is performed correctly, OK is returned, otherwise an error message is printed on the stdout.