Try5.het revision e1ad3d8dcd33fe91acdffd64989e3e6561eab47a
logic ExtModal
spec Try5=
time modality t
modalities a,b
nominals n,m
sort N
rigid op 0 : N
rigid op s : N -> N
flexible op 1 : N
end