Model revision inference for extensions of first order logic | Read Paper on Bytez