Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Editorial: Allow eliding of "is true" or "is false" when using predicate SDO names #3370

Open
syg opened this issue Jul 10, 2024 · 2 comments

Comments

@syg
Copy link
Contributor

syg commented Jul 10, 2024

Editorially I believe it'd read better to remove the explicit "is true" or "is false" when invoking static semantics SDOs where the reading is natural and unambiguous. That is, we'd say "X Contains Y" instead of "X Contains Y is true".

@michaelficarra
Copy link
Member

I was thinking generally, anywhere we say If ... is *true*, then, we could omit is *true*.

@syg
Copy link
Contributor Author

syg commented Aug 20, 2024

@jmdyck brings up the good point that there isn't really a natural way to elide "is false". I can't think of a natural way to elide "is false" either, so happy to drop it from the suggestion.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants