error(type_error(predicate_indicator), 4)