Remove or loosen constraints on gist:requires

[rjyounes]

Current domain: Intention
Current range: Behavior
Definition: An intention that sets out a state of satisfaction (you are required to drive on right side of the road)

We may want to say "Plants require good soil and rain to grow." The plant itself does not have an intention, though we might have an intention for the plant. Or maybe the subject of requires here is growth, but this too doesn't have an intention.

The Cambridge Dictionary defines several meanings for required:

1. To need something or to make something necessary.
2. To order or demand something, or to order someone to do something, especially because of a rule or law.
3. To make it officially necessary for someone to do something.

gist:requires encompasses only definitions 2 and 3.

[rjyounes]

Tentative decision: Remove domain and range.

Deferring final decision for a larger group.

[rjyounes]

DECISION:

• Remove domain and range constraints
• Rewrite definition
  • Note that in ordinary usage, "requires" means necessary but not sufficient.
  • Proposal: "The object is necessary to the subject."

[rjyounes]

Deferring until we know whether the next release will be a major one or not. Please refrain from submitting a PR until this has been determined.

[bolerio]

Completely agree the domain and range should be removed and I also like the proposed definition "the object is necessary to the subject".