Checks if given clause is contained in this theory
Checks if given clause is present in this theory
Checks if clauses exists in this theory having the specified Indicator as head; this should be well-formed