//************ Declarations of Types and Constants *******************
thing = {Tweety,Huey,Dewey,Louie,Opus}

//************ Predicate Declarations (including paramter types) *******************
bird(thing)
flies(thing)
penguin(thing)

2.1972  bird(x) => flies(x)      // 2.1972 = ln (0.90/0.10)
-4.5951 penguin(x) => flies(x)   // -4.5951 = ln (0.01/0.99)

penguin(x) => bird(x).