the annotation matrix of the most specific annotations (0/1): rows are genes and columns are terms.
ann
the full annotations matrix (0/1), that is the matrix in which the transitive closure of the annotation was performed.
Rows are examples and columns are classes.
Value
If the transitive closure of the annotations is well performed "OK" is returned, otherwise a message error is printed on the stdout