Toward a Programmatic Semantics of Natural Language