Can one run aspic-assembled files in the mpsim simulator or is there
another way to do it?

-- vinsci