Posts in Symbolic AI limitations