EXTRACREDIT Jeremy J. Carroll A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom.