Computer Method and Apparatus for Parameterized Semantic Inquiry Templates with Type Annotation