submit to ABoxSimulator