Building Formal Knowledge Bases: Understanding Evaluation Use in The Foundation Community