::= 'Map' 'Is' 'Interactions' 'Descriptions' 'EndMap' ; ::= IDENTIFIER ; ::= -['Internal' ]- ; ::= -[ ',' ]- ; ::= ; ::= -[ ]- ; ::= -['Where' ]- ; ::= 'On' ; ::= 'Nothing' ';' | ';' ; ::= | ; ::= 'Group' 'Is' 'EndGroup' ; ::= ; ::= -[ ',' ]- ; ::= | ; ::= ; ::= -[ ]- ; ::= ; ::= -[ ',' ]- ; ::= '&' ; ::= 'Timethread' 'Is' 'EndTT' ; ::= | ; ::= ; ::= 'Stub' 'EndStub' ; ::= ; ::= -[['NoRec' | 'EndRec' | 'ParaRec']]- ; ::= -[ ]- ; ::= 'AbortedOn' '(' ')' ; ::= -['Constrained']- ; ::= 'Trigger' '(' ')' ; ::= ; ::= -[ ]- ; ::= 'Result' '(' ')' ; ::= -[[ | | | ]]- ; ::= 'Delayed' ; ::= 'Time' ; ::= 'Signal' ; ::= 'Memory' ; ::= | | | | | | | | | | | | ; ::= 'Abort' '(' ')' ; ::= 'Action' '(' ')' ; ::= 'Async' '(' ')' ; ::= 'Sync' '(' ')' ; ::= 'Choice' 'EndChoice' ; ::= 'Or' | 'Or' ; ::= 'OrFork' 'Continue' 'EndOrFork' ; ::= 'Or' | 'Or' ; ::= 'Path' 'EndPath' ; ::= 'Loop' 'EndLoop' ; ::= 'Compulsory' 'Optional' ; ::= 'Loss' '(' ')' ; ::= 'Par' 'EndPar' ; ::= 'And' | 'And' ; ::= 'AndFork' 'EndAndFork' ; ::= -[ 'And' ]- ; ::= 'SegStub' '(' ')' ; ::= 'Wait' '(' ')' ; ::= 'Tag' '(' '=' ')' ; ::= -[ '!' ]- ; ::= -[ '?' ]- ; ::= -['Guard' '(' ')']- ; ::= | 'Not' '(' ')' | '(' ')' '(' ')' ; ::= 'Eq' | 'Ne' ; ::= 'And' | 'Or' | 'Xor' | 'implies' | 'Iff' ; ::= IDENTIFIER ; ::= IDENTIFIER | NUMALPHA ; ::= IDENTIFIER ; ::= IDENTIFIER ; ::= IDENTIFIER ; ::= IDENTIFIER ; ::= IDENTIFIER ; ::= IDENTIFIER ; ::= IDENTIFIER ; ::= IDENTIFIER ; ::= ;