prepositional calculus