In notes:
- javniso
- x1 is the ISO designation/result/standard/code for topic x2 applied to specific case/individual/group/thing x3 according to rule/ISO specification x4 published by/according to mandating organization x5 (default: ISO)
- jvaiso
- x1 is the ISO designation/result/standard/code for topic x2 applied to specific case/individual/group/thing x3 according to rule/ISO specification x4 published by/according to mandating organization x5 (default: ISO)
- jviso
- x1 is the ISO designation/result/standard/code for topic x2 applied to specific case/individual/group/thing x3 according to rule/ISO specification x4 published by/according to mandating organization x5 (default: ISO)
- lamda
- x1 is a lambda function abstraction based on applying transformation x3 to body x2.