Now we get timex-timex relation for real.
Get inverse relation for simultaneous relations.
No features for timex-timex relations.
Merge branch 'master' into global-model-closure-with-deny-rules-and-inverse-consistency