propositionalization

Multirel.propositionalization: FastProp