Parser distinguishes between facts and rules