TeX source:

P(\text{Dog} | \text{Space})