[ARIN] Added first order logic code