someValuesFrom example of "teaches of Professor has at least one value of type College_Student" is ok but by following it with allValuesFrom with the same class and property it is confusing.
Maybe "tenured_at of Professor only have values of type College".