Text this: Random Horn Formulas and Propagation Connectivity for Directed Hypergraphs.