Inductive synthesis of dot expressions