propositionalization

RelMT.propositionalization: FastProp