;; Useful for testing fuzzy conjunction introduction rule (Evaluation (stv 0.4 0.6) (Predicate "P") (Concept "A")) (Evaluation (stv 0.7 0.2) (Predicate "Q") (Concept "B"))