first order simple patterns