(=> (Interior ?A ?B) (And (True-Part-Of ?B ?A) (Not (Exists (?Z) (And (Part-Of ?Z ?A) (Not (Part-Of ?Z ?B)))))))