"counter4/1" consiste en dos clausulas separadas por ;