[SCH-EUSR-03] The maximum of all subsets of SendingEndUsers MUST be lower or equal to FullSet/SendingEndUsers
About
ID
SCH-EUSR-03
Flag
fatal
Context
/eusr:EndUserStatisticsReport
Test
$empty or max(eusr:Subset/eusr:SendingEndUsers) le xs:integer(eusr:FullSet/eusr:SendingEndUsers)
Rules
BR-EUSR-15 The Full Set End User Cardinality that have sent datasets MUST be greater or equal to the Subset maximum End User Cardinality that have sent datasets.