Try2.het revision 83dd30eb7262d89f2bc11d9ed3b3eaeb45d0d745
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maederlogic ExtModal
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder time modality t
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder modalities a,b
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder flexible op s__: N -> N
e1ad3d8dcd33fe91acdffd64989e3e6561eab47aChristian Maeder flexible ops 0,1: N
83dd30eb7262d89f2bc11d9ed3b3eaeb45d0d745Christian Maeder . [a] >= 2 (not (s 0 = 1)) U X X true
0cf0e9cce5d3dae79dd9193d00e6ae4f65e937e0Christian Maeder . <(a)> <= 00 false S (X true U Y true)
0cf0e9cce5d3dae79dd9193d00e6ae4f65e937e0Christian Maeder . < > <=1 true U <> <=1 true
0cf0e9cce5d3dae79dd9193d00e6ae4f65e937e0Christian Maeder . <true?> <=1 true