extern crate first_order_logic;

mod semantics;