{"action":"created","issue":{"url":"https://api.github.com/repos/tillmo/DOL/issues/135","labels_url":"https://api.github.com/repos/tillmo/DOL/issues/135/labels{/name}","comments_url":"https://api.github.com/repos/tillmo/DOL/issues/135/comments","events_url":"https://api.github.com/repos/tillmo/DOL/issues/135/events","html_url":"https://github.com/tillmo/DOL/issues/135","id":75629297,"number":135,"title":"more terminological troubles","user":{"login":"fabianneuhaus","id":2903387,"avatar_url":"https://avatars.githubusercontent.com/u/2903387?v=3","gravatar_id":"","url":"https://api.github.com/users/fabianneuhaus","html_url":"https://github.com/fabianneuhaus","followers_url":"https://api.github.com/users/fabianneuhaus/followers","following_url":"https://api.github.com/users/fabianneuhaus/following{/other_user}","gists_url":"https://api.github.com/users/fabianneuhaus/gists{/gist_id}","starred_url":"https://api.github.com/users/fabianneuhaus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fabianneuhaus/subscriptions","organizations_url":"https://api.github.com/users/fabianneuhaus/orgs","repos_url":"https://api.github.com/users/fabianneuhaus/repos","events_url":"https://api.github.com/users/fabianneuhaus/events{/privacy}","received_events_url":"https://api.github.com/users/fabianneuhaus/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/tillmo/DOL/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":{"login":"tillmo","id":642775,"avatar_url":"https://avatars.githubusercontent.com/u/642775?v=3","gravatar_id":"","url":"https://api.github.com/users/tillmo","html_url":"https://github.com/tillmo","followers_url":"https://api.github.com/users/tillmo/followers","following_url":"https://api.github.com/users/tillmo/following{/other_user}","gists_url":"https://api.github.com/users/tillmo/gists{/gist_id}","starred_url":"https://api.github.com/users/tillmo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tillmo/subscriptions","organizations_url":"https://api.github.com/users/tillmo/orgs","repos_url":"https://api.github.com/users/tillmo/repos","events_url":"https://api.github.com/users/tillmo/events{/privacy}","received_events_url":"https://api.github.com/users/tillmo/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-05-12T14:50:19Z","updated_at":"2015-05-12T17:20:40Z","closed_at":null,"body":"this is linked to #100 \r\nit seems that we have a third notion of \"basic OMS\" (beyond native). The difference is more subtle though.   The definition in the section 4 is \r\n\"basic OMS: a signature equipped with a set of sentences and annotations, which may be used as a building block for a larger OMS.\" \r\nNote that it does not say that the basic OMS needs to be conform to the OMS language. This is because basic OMS may be the snippets, which are used in extending an OMS. These may not conform to the syntax rules of the language, because the signature is not fully declared in the snippet. For example\r\nClass: Foo SubClassOf: Bar \r\nwould be such a basicOMS. \r\nHowever, according to the grammar every basic OMS is an OMS, and can be, for example, used in unions. As far as I know, this should not be possible for an 'incomplete' OMS like\r\nClass: Foo SubClassOf: Bar \r\n"},"comment":{"url":"https://api.github.com/repos/tillmo/DOL/issues/comments/101356760","html_url":"https://github.com/tillmo/DOL/issues/135#issuecomment-101356760","issue_url":"https://api.github.com/repos/tillmo/DOL/issues/135","id":101356760,"user":{"login":"tillmo","id":642775,"avatar_url":"https://avatars.githubusercontent.com/u/642775?v=3","gravatar_id":"","url":"https://api.github.com/users/tillmo","html_url":"https://github.com/tillmo","followers_url":"https://api.github.com/users/tillmo/followers","following_url":"https://api.github.com/users/tillmo/following{/other_user}","gists_url":"https://api.github.com/users/tillmo/gists{/gist_id}","starred_url":"https://api.github.com/users/tillmo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tillmo/subscriptions","organizations_url":"https://api.github.com/users/tillmo/orgs","repos_url":"https://api.github.com/users/tillmo/repos","events_url":"https://api.github.com/users/tillmo/events{/privacy}","received_events_url":"https://api.github.com/users/tillmo/received_events","type":"User","site_admin":false},"created_at":"2015-05-12T17:20:40Z","updated_at":"2015-05-12T17:20:40Z","body":"yes, that is true. But this subtle difference is handeled by the semantics, see 11.2: \"We moreover assume similar language-specific semantics of a basic OMS fragment $O$ in the context of previous declarations, denoted $sem^{(\\Sigma,\\cM,\\Delta)}_L(O)$.\" I would not introduce the distinction between \"basic OMS\" and \"basic OMS fragment\" in the syntax, but rather subsume both under \"basic OMS\".\r\n"}}