Owing to the challenges posed in reasoning over formal representations (Musen and Van Der Lei,1988), and backed by the recent successes of transformers (Vaswani et al., 2017) in NLP, Clark et al. (2020) propose a new version of the problem by replacing the formal representations of rule-bases with natural language (English). 
their task requires predicting the truth value of a statement by reasoning over a set of facts and rules, all expressed in natural language.