Assertion list
key (aspect of table ) → ReceivesAction
Results from Ascent++: 29
key → ReceivesAction → pressed 0.57
key → ReceivesAction → determined 0.53
key → ReceivesAction → sorted 0.48
key → ReceivesAction → represented in binary format 0.48
key → ReceivesAction → changed 0.45
key → ReceivesAction → collected 0.43
key → ReceivesAction → released 0.43
key → ReceivesAction → stored 0.40
key → ReceivesAction → stored in the register 0.40
key → ReceivesAction → entered 0.39
key → ReceivesAction → required 0.39
key → ReceivesAction → used to encrypt datum 0.39
key → ReceivesAction → explained in the legend 0.37
key → ReceivesAction → associated with the transaction 0.35
key → ReceivesAction → generated on an android device 0.35
key → ReceivesAction → operated 0.35
key → ReceivesAction → transformed before use 0.32
key → ReceivesAction → specified 0.30
key → ReceivesAction → appended 0.29
key → ReceivesAction → authorized for use 0.29
key → ReceivesAction → enclosed in url-encoded double … 0.29
key → ReceivesAction → included in the e 0.29
key → ReceivesAction → used in operation 0.29
key → ReceivesAction → associated with rowid 0.25
key → ReceivesAction → associated with value 0.25
key → ReceivesAction → disabled 0.25
key → ReceivesAction → downloaded 0.25
key → ReceivesAction → generated in secure hardware 0.25
key → ReceivesAction → shown in fig 0.25