An interaction signifies a device of collective conduct that has to be carried out by two or more internal Lively framework things, possibly assigned right or aggregated in the collaboration. To be a schema for modeling and instantly Checking out sentences of the language with purposes to automatic check synthesis https://www.youtube.com/shorts/GMzPiZjNrpo