interface LexSmart = open Syntax in {

oper
  dim_V2 : V2 ;
  fan_N : N ;
  kitchen_N : N ;
  light_N : N ;
  livingRoom_N : N ;
  switchOff_V2 : V2 ;
  switchOn_V2 : V2 ;

}