latex slides of semantics and causality rules, some question marks
latex slides gitignore