Assertion: ai's power | /r/HasProperty | appreciated by logician
Facets:
Source sentences:
text: The other nice thing about (Mueller 2006) is that the logic used is multi-sorted first-order logic (MSL), which has unificatory power that will be known to and appreciated by many technical philosophers and logicians (Manzano 1996).