Updated OTL + additional conjuncts and half forms