Assertion: computer's program | /r/CapableOf | search for nine hours
Facets:
value: without error
type: MANNER
value: on june
type: TEMPORAL
value: on 17
type: TEMPORAL
Source sentences:
text: Mark 1 was used to run a program to search for Mersenne primes for nine hours without error on June 16 and 17 that same year.