Scheme representation for first-order logic - Spencer Breiner (2014)