( ?nfa : St ) (U