microtheoryAboutFn(mMG)::loves(mMG,aD).