Results from the Semantics Smackdown at Rensselaer Polytechnic Institute, June 2014