{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/logical-inferences-with-comparatives-and","title":"Logical Inferences with Comparatives and Generalized Quantifiers","arxiv_id":"2005.07954","date":"2020-05-16","proceeding":"ACL 2020 6","authors":["Izumi Haruta","Koji Mineshima","Daisuke Bekki"],"abstract":"Comparative constructions pose a challenge in Natural Language Inference (NLI), which is the task of determining whether a text entails a hypothesis. Comparatives are structurally complex in that they interact with other linguistic phenomena such as quantifiers, numerals, and lexical antonyms. In formal semantics, there is a rich body of work on comparatives and gradable expressions using the notion of degree. However, a logical inference system for comparatives has not been sufficiently developed for use in the NLI task. In this paper, we present a compositional semantics that maps various comparative constructions in English to semantic representations via Combinatory Categorial Grammar (CCG) parsers and combine it with an inference system based on automated theorem proving. We evaluate our system on three NLI datasets that contain complex logical inferences with comparatives, generalized quantifiers, and numerals. We show that the system outperforms previous logic-based systems as well as recent deep learning-based models.","url_abs":"https://arxiv.org/abs/2005.07954v1","url_pdf":"https://arxiv.org/pdf/2005.07954v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"logical-inferences-with-comparatives-and","repo_url":"https://github.com/izumi-h/ccgcomp","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[{"task_slug":"automated-theorem-proving","task_name":"Automated Theorem Proving"},{"task_slug":"natural-language-inference","task_name":"Natural Language Inference"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2005.07954","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2005.07954"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"deterministic:regex_extraction","url":"https://github.com/izumi-h/ccgcomp","reach":null}],"summary":{"ran":1,"ran_violates":3,"ran_draft_wrong":4,"unverified":1},"by_repo_kind":{"official":{"samples":9,"ran":8,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":9,"samples":[{"code_sha256_prefix":"5d763cf58a8590d2","entry":"Category","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5d763cf58a8590d2"}},{"code_sha256_prefix":"2bc9765cc5de93ca","entry":"any_attribute_matches","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"2bc9765cc5de93ca"}},{"code_sha256_prefix":"ad5a31f343f2a546","entry":"attributes_match","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"ad5a31f343f2a546"}},{"code_sha256_prefix":"ef1d2f820d913525","entry":"get_feats_from_category","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"ef1d2f820d913525"}},{"code_sha256_prefix":"de9aedc387618dea","entry":"lexpr","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"de9aedc387618dea"}},{"code_sha256_prefix":"55de9af11f4738b4","entry":"normalize_token","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"55de9af11f4738b4"}},{"code_sha256_prefix":"087898ee0d292d34","entry":"remove_feats_from_category","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"087898ee0d292d34"}},{"code_sha256_prefix":"5b6e8b1bfe829dda","entry":"wildcard_match","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5b6e8b1bfe829dda"}},{"code_sha256_prefix":"b7641c6364aa08e0","entry":"SemanticRule","repo":"izumi-h/ccgcomp","repo_kind":"official","path":"ccg2lambda/semantic_rule.py","file_url":"https://github.com/izumi-h/ccgcomp/blob/HEAD/ccg2lambda/semantic_rule.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b7641c6364aa08e0"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}