Disambiguation evidence for Microsoft via surface form
"Microsoft Research"
As object (3)
Triples where some other subject referred to this entity
as "Microsoft Research".
surface form:
Z3 SMT solver