Lextender remains a work in progress.  See XTM vs RDF/OWL on the issue of where to load its formal output.

Regardless of target, it is meant to convert ONE common source file into both formal triples models and partial PSI documentation in HTML.  On my PSI page for Whole-Part Subtypes (for example) ...

http://www.lexikos.com/psi/ctm/patterns/index.jsp

... a user also has an option to get more formal data in LTM...

http://www.lexikos.com/psi/ctm/patterns/index.jsp?view=ltm

... or into the WORDS language (very much like Turtle)..

http://www.lexikos.com/psi/ctm/patterns/index.jsp?view=words

... and both such pages link to the common source code:...

http://www.lexikos.com/psi/ctm/patterns/lexikon.txt

... in which cardinality (plus lists in final HTML doc) are visible