turing machine subgroup of machine, 6 assertions
CapableOf 3
model machine 0.25
model any form of compu… 0.25
halt on every input 0.25
HasProperty 3
equivalent 0.65
universal 0.46
used false bound 0.25