3.0.4
- no derivation of eternal sequences
- no evidental base overlap allowed anymore
- no derivation of non-eternalized implications
- no image transformation for images with size > 2 anymore
- only deriving most general and most specific in var intro
- termlink record for image transformations
- anticipation again restricted to input (yes, not everything is always a step forward :) )
- anticipation tolerance handling improved (ANSNA ideas)
- temporal induction not generating <|> and retrospective anymore, they need to come from backward inference
- variable introduction for part operator arguments (for NLP)
- no structural inference for part operator (# ) anymore, it assumes triples for now