Disambiguation evidence for SPASS automated theorem prover via surface form
"SPASS"
No triples for this surface form
Surface form "SPASS"
was not used to refer to this entity at the
object position of any triple.