Accessibility

With the Accessibility command, one may check whether a termset is accessible from the current term with regard to the current approximation.
To check accessibility to a single term, just enter a termset containing that term.