  is warranted by the locus from the predicate. The predicate of the first sentence is the link or medium between the extreme terms in the conclusion. In this case, animal (presumably the universal thing itself) is the locus or seat of the argument. The rule is, if something is predicated of some subject universally, then whatever is removed universally from the predicate is removed universally from the subject (William provides a lengthy set of rules describing the logical relations that hold between subjects and predicates). As described above, William holds that such maximal propositions contain the sense of those propositions that fall under them. The rule contains sentences signifying the relations between man and animal and between animal and stone (IGP I 8.4). The relations of animal to the extremes warrant the inference.