f:Extension value[x]: minimum cardinality of 'value[x]' is 1