Linguistic Forms as Markers of Automatic Entailments in a Problem Solving Task | IEEE Conference Publication | IEEE Xplore