Automatic generation of oracles for exceptional behaviors
ClausIE: clause-based open information extraction