learning dependency-based compositional semantics

just read half. Don't understand.... I don't know what are those symbols. Need more background.