# Enumerations ------------------------------------------------- Country IS "Japan "USA "France "Germany "Italy # Predicates --------------------------------------------------- iscountry IS OP U(U in Country) isspecs IS OP U(type U = 0. 0 0 0 0)