error(type_error(predicate_indicator), /(0, dog))