Don't include DontKnowRule in AlternativeRule unless necessary
Use TrigonometricFunction instead of listing trig functions