We find the supracontexts by systematically eliminating the variables in the given context; with m variables, there will generally be  supracontexts.
We discover the underlying contexts by methodically removing the variables in the provided context; with m variables, there will typically be supracontexts.