Try5.het revision da42340727c038b89035a78b19dbf816f0a7336c
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