PRINTPROP : printing property

Printing

• fo-single-symbol
• infix
• prefix
• printnotype
• prt-associative

wff Primitives

• face

TPS documentation homepage

TPS homepage