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

[syg]

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".