Working parser with semantics for IQ rules