(= (Inverse Birth-Time-Value) Birth-Time-Value-Of) (<=> (Birth-Time-Value-Of ?A ?B) (And (Date-Value-Filler ?A) (Organism ?B)))