That is, there exists an oracle A such that, for all subexponential deterministic time complexity classes T, the relativized complexity class NPA is not a subset of TA.
Δηλαδή,υπάρχει ένα oracle A τέτοιο ώστε,για όλες τις subexponential ντετερμινιστικού χρόνου πολυπλοκότητας τάξης T, η σχετικοποιημένη πολυπλοκότητα τάξης NPA δεν είναι ένα υποσύνολο της τάξης TA.