---

title: 'Operators must include clause_drop, which mutates: Removes one clause of a multi-clause predicate.' status: open text_ref: readme:README.md#L123 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l123
• lane:strict

semantic_text: 'Operators must include clause_drop, which mutates: Removes one clause of a multi-clause predicate.' logic_claims:

• CLAIM-50111E648A1C7A1B

semantic_clauses:

• 'Operators must include clause_drop, which mutates: Removes one clause of a multi-clause predicate.'

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: 0d032a86deb64088f326c31fe2acef23730fbbe535cf1ffbaa3d833726e2a9db semantic_inventory:

• claim_key: CLAIM-50111E648A1C7A1B claim_text: 'Operators must include clause_drop, which mutates: Removes one clause of a multi-clause predicate' role: normative status: modeled span: start: 0 end: 97 origin: kind: import ref: readme:README.md#L123 recorded_at: '2026-10-29T16:05:29.162Z' firmness: firm required_evidence: asserted id: REQ-AUTO-178AB1F1C5F1EFE0 type: req --- Operators must include clause_drop, which mutates: Removes one clause of a multi-clause predicate.

Source

| clause_drop | Removes one clause of a multi-clause predicate | the second of p(a). p(b). |

Source: Mutalog README - README.md#L123