Leptons and interactions

Gallery
Tutorial
Click on the image to view it full size

The 1st snippet does not tell use anything new, however a stereotype keyword «electric» has been introduced and applied to the ValueType Charge and the value property charge:Charge for clarification. (We could have also renamed Charge to be ElectricCharge, but applying «electric» makes this a bit clearer for now, even if one would have to re-apply it whenever the property is redefined.)

If you have been following the trail from the very beginning you might recall that the abstract block Interaction was marked as «pa:implied»; this can now be removed as the 2nd snippet confirms the concept.

The concepts 'subject to' and 'not subject to' have been represented using the existing keywords «undergoes» and «not undergoes». And sufficient to record the information (but not yet the maths) a stereotype keyword «proportional to» is introduced for Electromagnetism.

The full text from which these smaller snippets were extracted is a little clumsy:

Does it make sense to say that Lepton «undergoes» Electromagnetism (a literal interpretation of the 1st snippet) when clearly NeutralLepton (a.k.a. neutrino) does not really? Note also this clarifying snippet from a separate Wikipedia page:

The corresponding stereotyped «undergoes» Dependency should perhaps be bumped down to ChargedLepton, with a separate «not undergoes» Dependency from NeutralLepton (and this is in fact done much later in the tutorial trail).

Don't worry too much if you hit inconsistencies like this. If you work through high quality domain source documents things typically eventually get cleaned up as a natural part of the snippet-driven Parsing Analysis process. You can use editorial devices like applying a custom «?» keyword as shown to mark such concerns until they are resolved.

Up next
Notes
Snippets (quotes/extracts)
Visit also
Visit also (backlinks)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)