The functions in universal_found_function have knowledge about if a universal fulfills a requirement. This knowledge can be used to detect the contradiction where the presence of something is required but the absence of something implied by what was required to be present also is required. Use this in are_requirements_contradictions().
The functions in universal_found_function have knowledge about if a universal fulfills a requirement. This knowledge can be used to detect the contradiction where the presence of something is required but the absence of something implied by what was required to be present also is required. Use this in are_requirements_contradictions().