Revising absence reasoning for lacks_all_parts_of_type.