Searched defs:toBranchedAxiom (Results 1 – 4 of 4) sorted by relevance
255 toBranchedAxiom (CoAxiom unique name role tc branches implicit) function
242 toBranchedAxiom (CoAxiom unique name role tc branches implicit) function
261 toBranchedAxiom (CoAxiom unique name role tc branches implicit) function