Try1.het revision dc62afbf79603699b39b2387f48298634f642e67
logic ExtModal
spec Try1 =
time modality t
modalities a,b
sort N
end