But its formal syntax and formal semantics are underspecified. People might not be able to agree on the interpretation of natural language sentences in general, or grammaticality judgments, or how to handle sentences that stop in