根据对当关系，当sop假时，可推知sAp（），sEp（），sIp（）。