Perform annotation deepening and satisfiability checking for GO annotations in GAFs - View it on GitHub