contradicting_assumed_context_and_domain.ll 2.17 KB