FOL-MO+MO