vocabulary SimplestUnary
;
/*
* Value Types */
Some String is written as String;
/*
* Fact Types */
Some String is long;
vocabulary SimplestUnary
;
/*
* Value Types */
Some String is written as String;
/*
* Fact Types */
Some String is long;