MATES: Added moddeling for atoms with arity greater than 0