Predicate Logic on the Tech Tree