Assertion list
execution (primary) → CapableOf
Results from Ascent++: 178
execution → CapableOf → take time 0.55
execution → CapableOf → take place in iran 0.49
execution → CapableOf → take place in china 0.48
execution → CapableOf → continue at step 0.47
execution → CapableOf → take place in saudi arabia 0.46
execution → CapableOf → occur on same day 0.44
execution → CapableOf → take place in iraq 0.44
execution → CapableOf → stop at breakpoint 0.42
execution → CapableOf → continue at block 0.41
execution → CapableOf → described herein 0.41
execution → CapableOf → occur within the code cache 0.41
execution → CapableOf → taken place 0.41
execution → CapableOf → perform the process steps 0.41
execution → CapableOf → return to operation 0.40
execution → CapableOf → continue with the statement 0.39
execution → CapableOf → continue after the end operation 0.38
execution → CapableOf → proceed to decision block 0.38
execution → CapableOf → proceed to the step 0.38
execution → CapableOf → terminate at step 0.38
execution → CapableOf → go awry 0.37
execution → CapableOf → take place in pakistan 0.37
execution → CapableOf → comply with the law 0.36
execution → CapableOf → continue at task 0.36
execution → CapableOf → pass to event 0.36
execution → CapableOf → violate any agreement 0.36
execution → CapableOf → contravene regulation 0.34
execution → CapableOf → imply employee-employer 0.34
execution → CapableOf → complete for other reason 0.33
execution → CapableOf → continue 0.33
execution → CapableOf → continue with step s330 0.33
execution → CapableOf → deter crime 0.33
execution → CapableOf → occur 0.33
execution → CapableOf → come to the hands of the sheriff 0.32
execution → CapableOf → cover commissioning 0.32
execution → CapableOf → issue against chattel 0.32
execution → CapableOf → meet goal 0.32
execution → CapableOf → become impossible 0.31
execution → CapableOf → allow reasonable time 0.31
execution → CapableOf → come computer-readable signal m… 0.31
execution → CapableOf → comply with regulation 0.31
execution → CapableOf → continue at next instruction 0.31
execution → CapableOf → cover installation 0.31
execution → CapableOf → cycle multiple times 0.31
execution → CapableOf → develop process 0.31
execution → CapableOf → involve a payer's payment servi… 0.31
execution → CapableOf → order the sale of defendant(spr… 0.31
execution → CapableOf → pass to first statement 0.31
execution → CapableOf → proceed 0.31
execution → CapableOf → resume in the country 0.31
execution → CapableOf → return to process 202 0.31
execution → CapableOf → continue to grow net income 0.31
execution → CapableOf → begin in step 0.29
execution → CapableOf → block 540 of fig 0.29
execution → CapableOf → constitute an event of default 0.29
execution → CapableOf → mark first time 0.29
execution → CapableOf → pass to decision 68 0.29
execution → CapableOf → pass to substate 0.29
execution → CapableOf → proceed to step 221 0.29
execution → CapableOf → set the crypto engine controls 0.29
execution → CapableOf → start 0.29
execution → CapableOf → step 127 0.29
execution → CapableOf → step 131 0.29
execution → CapableOf → violate the constitution 0.28
execution → CapableOf → call for the services of third … 0.27
execution → CapableOf → commence after initialdelay 0.27
execution → CapableOf → continue at next executable sta… 0.27
execution → CapableOf → continue with next scripted sta… 0.27
execution → CapableOf → cover construction 0.27
execution → CapableOf → drop the hand 0.27
execution → CapableOf → facilitate displaying account a… 0.27
execution → CapableOf → illustrate vertical threading 0.27
execution → CapableOf → maintain timeliness 0.27
execution → CapableOf → proceed to task 0.27
execution → CapableOf → produce result 0.27
execution → CapableOf → render interactive scenes of th… 0.27
execution → CapableOf → resume in 1977 0.27
execution → CapableOf → set up stage 0.27
execution → CapableOf → take place in task space 0.27
execution → CapableOf → terminate in response 0.27
execution → CapableOf → use generated list of requests 0.27
execution → CapableOf → enable nuvista 0.27
execution → CapableOf → raise question 0.25
execution → CapableOf → access to quality health care s… 0.25
execution → CapableOf → attach hereto 0.25
execution → CapableOf → attract great crowds of spectat… 0.25
execution → CapableOf → bind upon the corporation 0.25
execution → CapableOf → come to halt 0.25
execution → CapableOf → commence at the arizona state p… 0.25
execution → CapableOf → conclude before 1 august 0.25
execution → CapableOf → consider the opposition 0.25
execution → CapableOf → consider the value 0.25
execution → CapableOf → contemplate hereunder 0.25
execution → CapableOf → continue at reference 0.25
execution → CapableOf → continue at the instruction 0.25
execution → CapableOf → continue on the line 0.25
execution → CapableOf → continue with next step 0.25
execution → CapableOf → continue with s310 0.25
execution → CapableOf → continue with the insert statem… 0.25
execution → CapableOf → create lien 0.25
execution → CapableOf → deal on own account 0.25
execution → CapableOf → determined interaction 0.25
execution → CapableOf → establish a respective stream c… 0.25
execution → CapableOf → execute client orders 0.25
execution → CapableOf → execute transaction 0.25
execution → CapableOf → follow after sentence 0.25
execution → CapableOf → forthwith issue 0.25
execution → CapableOf → illustrate in fig 0.25
execution → CapableOf → improve mining efficiency 0.25
execution → CapableOf → improve production 0.25
execution → CapableOf → involve only one payment servic… 0.25
execution → CapableOf → leave the capital 0.25
execution → CapableOf → make corresponding selection 0.25
execution → CapableOf → occur 10 or 20 years 0.25
execution → CapableOf → occur in desired order 0.25
execution → CapableOf → pass to block 120 0.25
execution → CapableOf → pass to main state 0.25
execution → CapableOf → proceed to step 140 0.25
execution → CapableOf → produce product 0.25
execution → CapableOf → resume at 148 0.25
execution → CapableOf → resume at first line of code 0.25
execution → CapableOf → resume at the instruction 0.25
execution → CapableOf → resume following enclosing # 0.25
execution → CapableOf → resume in the vmm 0.25
execution → CapableOf → return record 0.25
execution → CapableOf → send message 0.25
execution → CapableOf → start for nes programs 0.25
execution → CapableOf → step 605 0.25
execution → CapableOf → take number of clock cycles 0.25
execution → CapableOf → take place in 1985 0.25
execution → CapableOf → take place in state 0.25
execution → CapableOf → time state 0.25
execution → CapableOf → transfer to non-interruptible c… 0.25
execution → CapableOf → use adaptive sampling technique 0.25
execution → CapableOf → use nitrogen gas 0.25
execution → CapableOf → weighed in terms of their think… 0.25
execution → CapableOf → save money 0.24
execution → CapableOf → use midazolam 0.24
execution → CapableOf → violate the eighth amendment 0.24
execution → CapableOf → constitute cruel and unusual pu… 0.22
execution → CapableOf → fall flat 0.22
execution → CapableOf → suit to foreclose any lien 0.22
execution → CapableOf → fall short 0.21
execution → CapableOf → never fails strategic vision 0.21
execution → CapableOf → create job 0.19
execution → CapableOf → encompass key success factor 0.19
execution → CapableOf → feel flat 0.19
execution → CapableOf → produce a wash result 0.19
execution → CapableOf → use electric chair 0.19
execution → CapableOf → use sharpened bamboo sticks 0.19
execution → CapableOf → use test cases 0.19
execution → CapableOf → become easier 0.16
execution → CapableOf → come at time 0.16
execution → CapableOf → consist of stoning 0.16
execution → CapableOf → create a raft of martyrs 0.16
execution → CapableOf → create synergy 0.16
execution → CapableOf → draw condemnation 0.16
execution → CapableOf → drive new customer acquisition 0.16
execution → CapableOf → drive organizational change 0.16
execution → CapableOf → drive revenue growth 0.16
execution → CapableOf → end user 0.16
execution → CapableOf → feel pain 0.16
execution → CapableOf → happen within day 0.16
execution → CapableOf → happen within week 0.16
execution → CapableOf → improve with each performance 0.16
execution → CapableOf → lack in due diligence 0.16
execution → CapableOf → make all the difference 0.16
execution → CapableOf → make substantial progress 0.16
execution → CapableOf → provoke global outcry 0.16
execution → CapableOf → reduce the carbon output 0.16
execution → CapableOf → resume in 1982 0.16
execution → CapableOf → serve retributive or deterrent … 0.16
execution → CapableOf → shed powerful new light 0.16
execution → CapableOf → use three drugs 0.16
execution → CapableOf → violate international law 0.16
execution → CapableOf → issue for certain period 0.15
execution → CapableOf → enforce judgment 0.11
execution → CapableOf → occur for certain period 0.09
execution → CapableOf → take place in oklahoma 0.00