( natActionPossible = > some ( t , Intp ( t ) & some ( t1 , time ( a , t1 ) & ti $ = < t ) ) ) : ? ( primitiveAction ( a ) ) : a ) : ?
確定! 回上一頁