Initial work to specify term prefixes with a formula specification