Verification of relational multiagent systems with data types