Complementing Logical Reasoning with Sub-symbolic Commonsense