Embedding TODO from paper to code
Added different syntaxes for building antecedents.

- when(), andAlso(), then()
- theCondition(), andTheCondition(), implies(), imply()