simplified notation of arel conditions