<> <> -- TO DO -- sort out the V versus Vs issue by making a Vs one of the V alternatives explicitly. DIRECTORY Real, String; ISSemantics: PROGRAM IMPORTS Real, String = BEGIN << Lefthand Side Alternative S[>> <