A Model for Verifiable Grounding and Execution of Complex Language Instructions