branching-time temporal logic

aithalite (asbolite) Albert's disease arbitration bus atrachelia cup-contact anemometer frying pan g-alleviation heart to hearts honour code inspection engineer kidney yang life time of energy level lymphoepithelial nonbold oil absorption opticality overflow file area throneroom TV-Y zipper-line