Checkin before doing the inference part

Prediction of appearance terms is transfered. Next will be the inference
part.