Dr. Andrew Broad
Computer Science
MPhil Project
Experimental Results
AP212

AP212 is a large model for electrotechnical design, which is available here from the STEP Project website.

Click here for a summary of the HLCs extracted (this is automatically generated by the constraint-understanding system).

The frames generated by the constraint-understanding system (and output as HTML-ised FIL files) follow.

  • Note that these include not just the augmented model (i.e. the frames representing the input model, and the HLCs extracted therefrom), but also frames representing the frame class models and the cases in the case library.
  • The frames are grouped into files according to frame class.
  • entity_type is a good place to start!


  • adder Frames
  • aggregate_initialiser Frames
  • aggregate_initialiser_element Frames
  • aggregation_type Frames
  • andor_expression Frames
  • at_most_one Frames
  • binary_operation Frames
  • bound Frames
  • built_in_constant Frames
  • built_in_function_call Frames
  • case_frame Frames
  • conjunction Frames
  • defined_type Frames
  • derived_attribute Frames
  • domain_rule Frames
  • entity_type Frames
  • equation Frames
  • exactly_one Frames
  • explicit_attribute Frames
  • inverse_attribute Frames
  • literal_expression Frames
  • multiplier Frames
  • non_null Frames
  • oneof_expression Frames
  • qualifier Frames
  • query_expression Frames
  • query_variable Frames
  • range Frames
  • unary_operation Frames
  • unique_rule Frames
  • unresolved_reference Frames
  • user_function_call Frames
  • zero_or_more Frames


    Email me