Reasoning about Conditional Beliefs for the Winograd Schema Challenge
system z : a natural ordering of defaults with tractable applications to nonmonotonic reasoning .