Disambiguation evidence for ACL2 theorem proving system via surface form

"ACL2"

As object (1)

Triples where some other subject referred to this entity as "ACL2".