phil170-chSKYRMS-prob-inductive-logic-4.pdf