Our implementation is based on the Transformer library (Wolf et al., 2019).
it fails to predict S1 as the supporting facts, while HGN succeeds, potentially due to the explicit connections between sentences in the constructed graph.