Protein Structure Prediction: Implied sequence-function-mapping rule

protein_structure_prediction_rule.gql

sequence-function-mapping sub relationship,
  relates mapping-sequence,
  relates mapped-function;

implied-sequence-function-mapping sub rule,
  when {
    $seq isa sequence;
    $struct isa structure;
    $func isa function;
    (mapping-sequence: $seq, mapped-structure: $struct) isa sequence-structure-mapping;
    (mapping-structure: $struct, mapped-function: $func) isa structure-function-mapping;
  } then {
    (mapping-sequence: $seq, mapped-function: $func) isa sequence-function-mapping;
  };