Connectives, Predicates, and Priority

SNF Project No. 100012_173040