ampersand-3.0.3: AmpersandData/FormalAmpersand/IS.ifc

CONTEXT RAP IN ENGLISH LATEX

INTERFACE ruleOverview : I[ONE]
BOX [ rules : V[ONE*Rule]
      BOX [ rule : I
          , expression : characteristic
          ]
    ]

INTERFACE newRule (characteristic, meaning["Rule"*"NatLang"], purpose["Rule"*"NatLang"]): I[Rule]
BOX [ rule : I
    , expression : characteristic
    ]

ENDCONTEXT