reasoner predicates now return true/false vals.