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