Inductive semantics and syntax by Zawadowski