Contract interpreter