Assertion list
gate (primary) → ReceivesAction

Results from Ascent++: 122
gateReceivesAction closed 0.78
gateReceivesAction built 0.67
gateReceivesAction locked 0.65
gateReceivesAction made 0.62
gateReceivesAction installed 0.59
gateReceivesAction guarded 0.59
gateReceivesAction connected 0.58
gateReceivesAction raised 0.56
gateReceivesAction automated 0.55
gateReceivesAction thrown open 0.54
gateReceivesAction removed 0.53
gateReceivesAction interconnected 0.52
gateReceivesAction hinged 0.52
gateReceivesAction restored 0.51
gateReceivesAction unlocked 0.51
gateReceivesAction broken 0.50
gateReceivesAction moved 0.48
gateReceivesAction maintained 0.47
gateReceivesAction left open 0.46
gateReceivesAction never be closed 0.45
gateReceivesAction activated 0.45
gateReceivesAction placed 0.45
gateReceivesAction attached to wheel 0.44
gateReceivesAction replaced 0.44
gateReceivesAction implemented 0.42
gateReceivesAction shown in fig 0.42
gateReceivesAction completed 0.42
gateReceivesAction arranged at constant gap 0.41
gateReceivesAction galvanised 0.41
gateReceivesAction intended for use 0.41
gateReceivesAction marked 0.41
gateReceivesAction welded 0.41
gateReceivesAction destroyed 0.40
gateReceivesAction lifted 0.40
gateReceivesAction coupled 0.39
gateReceivesAction controlled by complement 0.39
gateReceivesAction controlled by the true 0.39
gateReceivesAction passed 0.39
gateReceivesAction kept closed 0.38
gateReceivesAction extended 0.35
gateReceivesAction situated to the north 0.35
gateReceivesAction burned with fire 0.34
gateReceivesAction consumed with fire 0.34
gateReceivesAction coupled to node 0.34
gateReceivesAction defined 0.34
gateReceivesAction fitted with solar panels 0.34
gateReceivesAction connected to line d<0 0.33
gateReceivesAction formed in trench 0.33
gateReceivesAction repaired 0.33
gateReceivesAction sealed 0.33
gateReceivesAction shown in figure 0.33
gateReceivesAction situated to south-east 0.33
gateReceivesAction required 0.32
gateReceivesAction blocked 0.32
gateReceivesAction decorated 0.32
gateReceivesAction insulated 0.32
gateReceivesAction prevented 0.32
gateReceivesAction separated 0.32
gateReceivesAction activated by the sun 0.31
gateReceivesAction aligned in parallel 0.31
gateReceivesAction connected to line db<0 0.31
gateReceivesAction connected with gates of adjacen… 0.31
gateReceivesAction discussed 0.31
gateReceivesAction folded 0.31
gateReceivesAction charged 0.29
gateReceivesAction controlled 0.29
gateReceivesAction controlled by a source drain pa… 0.29
gateReceivesAction controlled by the control input… 0.29
gateReceivesAction incorporated into newer building 0.29
gateReceivesAction pulled 0.29
gateReceivesAction pushed 0.29
gateReceivesAction released 0.29
gateReceivesAction changed 0.27
gateReceivesAction composed of a cmos circuit 0.27
gateReceivesAction configured to suit specific cus… 0.27
gateReceivesAction connected to the lead 0.27
gateReceivesAction coupled to the feedback line 0.27
gateReceivesAction guarded by twelve angels 0.27
gateReceivesAction isolated 0.27
gateReceivesAction manufactured 0.27
gateReceivesAction rebuilt 0.27
gateReceivesAction represented as a population of … 0.27
gateReceivesAction satisfied 0.27
gateReceivesAction selected in read operation 0.27
gateReceivesAction situated to west of the city 0.27
gateReceivesAction used to clean up the snare drum… 0.27
gateReceivesAction used to impart faster decay 0.27
gateReceivesAction used to impart slower attack 0.27
gateReceivesAction used within the hppuf 0.27
gateReceivesAction damaged 0.27
gateReceivesAction adjusted 0.25
gateReceivesAction associated with a side of the p… 0.25
gateReceivesAction built by the romans 0.25
gateReceivesAction chained 0.25
gateReceivesAction closed at night 0.25
gateReceivesAction closed to adjust circulation 0.25
gateReceivesAction connected to the power supply 0.25
gateReceivesAction coupled to vcc 0.25
gateReceivesAction donated by individual 0.25
gateReceivesAction fashioned by power 0.25
gateReceivesAction fashioned by right hand of might 0.25
gateReceivesAction fixed to post 0.25
gateReceivesAction fixed to stringer 0.25
gateReceivesAction interlocked 0.25
gateReceivesAction interposed 0.25
gateReceivesAction located along the spine 0.25
gateReceivesAction opened with acupuncture 0.25
gateReceivesAction placed into four groups 0.25
gateReceivesAction provided over active area of th… 0.25
gateReceivesAction shown in hatched detail 0.25
gateReceivesAction shut by day 0.25
gateReceivesAction split into two sections 0.25
gateReceivesAction supported by roller 0.25
gateReceivesAction thought 0.25
gateReceivesAction used by the united states 0.25
gateReceivesAction wired 0.25
gateReceivesAction easy to install 0.22
gateReceivesAction used to represent the city 0.22
gateReceivesAction donated by company 0.21
gateReceivesAction reopened 0.21
gateReceivesAction considered triggered envelope s… 0.19
gateReceivesAction excluded 0.16