fxdemo:04-part:10-mapping-from-fx-logical-information-structures-to-idl-and-generated-types:10-8-fx-semantic-assertion-mapping:start