2 in iPhone on UMLModel test Model

Error Report

Posted by BXYMartin on June 18, 2019

Time: 2019-06-18 14:11:18

“Critical Errors Occurred!”

I’ve Fixed This Error

Corresponding File:
Click Me To Resolve:

Important Note: When you click this button, this report will be deleted on next commit, please make sure no one else could be affected by this bug.

Not My Fault, Diss Others!

  • Details

    Error on line 146

    ./gen_case/iPhone.mdj_UMLModel_Model_2.test
    

    Files

    Model File:

    Source File

    Error Info:

    [!] FAILED On Line 146
    [!] ERROR: Line 146 {Ok, implement interfaces of class "iPhone" are (Electronics, Intelligence, Microwave, SmartPhone).} -> ['sdy']
    [!] ERROR: Line 146 {Ok, implement interfaces of class "iPhone" are (Electronics, Microwave).} -> ['bxy']
    

    Test Case:

    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","visibility":"public","name":"iPhone","_type":"UMLClass","_id":"AAAAAAFq990mUslw3Vk="}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"public","name":"unlocked","_type":"UMLOperation","_id":"AAAAAAFq9+TaSsx5iEo="}
    {"_parent":"AAAAAAFq9+TaSsx5iEo=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq9+T6AsyAFgk=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"public","name":"covered","_type":"UMLOperation","_id":"AAAAAAFq+VQHPKBPJS0="}
    {"_parent":"AAAAAAFq+VQHPKBPJS0=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq+VRmvaDPZf0=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"public","name":"activate","_type":"UMLOperation","_id":"AAAAAAFq+VR60KE94pw="}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"public","name":"call","_type":"UMLOperation","_id":"AAAAAAFq+VTYz6HgavU="}
    {"_parent":"AAAAAAFq+VTYz6HgavU=","name":"people","_type":"UMLParameter","_id":"AAAAAAFq+VVAl6IjQHY=","type":"String","direction":"in"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"public","name":"answer","_type":"UMLOperation","_id":"AAAAAAFq+VVYz6JtBTw="}
    {"_parent":"AAAAAAFq+VVYz6JtBTw=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq+VWSPqKwsIo=","type":"String","direction":"return"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"public","name":"time","_type":"UMLOperation","_id":"AAAAAAFq+VWfWaL6Qhc="}
    {"_parent":"AAAAAAFq+VWfWaL6Qhc=","name":"current","_type":"UMLParameter","_id":"AAAAAAFq+VXrq6M9n4s=","type":"int","direction":"in"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"private","name":"activate","_type":"UMLOperation","_id":"AAAAAAFq+WSA56PnJf8="}
    {"_parent":"AAAAAAFq+WSA56PnJf8=","name":"date","_type":"UMLParameter","_id":"AAAAAAFq+WSplqQqas4=","type":"int","direction":"in"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"protected","name":"activate","_type":"UMLOperation","_id":"AAAAAAFq+WTLoaT5vEA="}
    {"_parent":"AAAAAAFq+WTLoaT5vEA=","name":"time","_type":"UMLParameter","_id":"AAAAAAFq+WUBNqU8fnY=","type":"int","direction":"in"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"package","name":"activate","_type":"UMLOperation","_id":"AAAAAAFq+WUlyqXnmDQ="}
    {"_parent":"AAAAAAFq+WUlyqXnmDQ=","name":"hour","_type":"UMLParameter","_id":"AAAAAAFq+WVPv6YqNDc=","type":"int","direction":"in"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"private","name":"activate","_type":"UMLOperation","_id":"AAAAAAFq+WWVB6dP+pU="}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"private","name":"call","_type":"UMLOperation","_id":"AAAAAAFq+WX996fnrkk="}
    {"_parent":"AAAAAAFq+WX996fnrkk=","name":"number","_type":"UMLParameter","_id":"AAAAAAFq+WYnw6gqz8w=","type":"int","direction":"in"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"package","name":"call","_type":"UMLOperation","_id":"AAAAAAFq+WZDDaixoyA="}
    {"_parent":"AAAAAAFq+WZDDaixoyA=","name":"name","_type":"UMLParameter","_id":"AAAAAAFq+WaEy6j0Vuc=","type":"String","direction":"in"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","name":"Inherit","_type":"UMLGeneralization","_id":"AAAAAAFq99+m8cuUPxk=","source":"AAAAAAFq990mUslw3Vk=","target":"AAAAAAFq9905a8nCKj0="}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"protected","name":"model","_type":"UMLAttribute","_id":"AAAAAAFq9+R2gcxxPac=","type":"String"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"public","name":"name","_type":"UMLAttribute","_id":"AAAAAAFq9+UU6MyEVrI=","type":"String"}
    {"_parent":"AAAAAAFq990mUslw3Vk=","visibility":"package","name":"brand","_type":"UMLAttribute","_id":"AAAAAAFq+WpWravrl2A=","type":"String"}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","visibility":"public","name":"SmartPhone","_type":"UMLClass","_id":"AAAAAAFq9905a8nCKj0="}
    {"_parent":"AAAAAAFq9905a8nCKj0=","visibility":"public","name":"best","_type":"UMLOperation","_id":"AAAAAAFq9+Ww7syTroA="}
    {"_parent":"AAAAAAFq9+Ww7syTroA=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq9+XX9syazEI=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq9905a8nCKj0=","visibility":"public","name":"available","_type":"UMLOperation","_id":"AAAAAAFq9+YeU8ycksY="}
    {"_parent":"AAAAAAFq9+YeU8ycksY=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq9+Y3zsyjfeI=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq9905a8nCKj0=","name":null,"_type":"UMLGeneralization","_id":"AAAAAAFq+W2nDLCVZtQ=","source":"AAAAAAFq9905a8nCKj0=","target":"AAAAAAFq+Wz6aa6SyQE="}
    {"_parent":"AAAAAAFq9905a8nCKj0=","visibility":"public","name":"priceTag","_type":"UMLAttribute","_id":"AAAAAAFq9+VtM8yM8ks=","type":"int"}
    {"_parent":"AAAAAAFq9905a8nCKj0=","visibility":"private","name":"smart","_type":"UMLAttribute","_id":"AAAAAAFq+WrZ3qy\/7Wo=","type":"int"}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","visibility":"public","name":"Electronics","_type":"UMLInterface","_id":"AAAAAAFq996uNss3ztc="}
    {"_parent":"AAAAAAFq996uNss3ztc=","visibility":"private","name":"available","_type":"UMLOperation","_id":"AAAAAAFq9+KUH8wogP8="}
    {"_parent":"AAAAAAFq9+KUH8wogP8=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq9+K+H8wvzTI=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq996uNss3ztc=","name":"Realize","_type":"UMLInterfaceRealization","_id":"AAAAAAFq997rL8t6oAY=","source":"AAAAAAFq9905a8nCKj0=","target":"AAAAAAFq996uNss3ztc="}
    {"_parent":"AAAAAAFq996uNss3ztc=","visibility":"package","name":"priceTag","_type":"UMLAttribute","_id":"AAAAAAFq9+I4QsweF7Q=","type":"int"}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","visibility":"public","name":"Microwave","_type":"UMLInterface","_id":"AAAAAAFq9+BJt8vUlY8="}
    {"_parent":"AAAAAAFq9+BJt8vUlY8=","visibility":"public","name":"enabled","_type":"UMLOperation","_id":"AAAAAAFq9+GagswSEZE="}
    {"_parent":"AAAAAAFq9+GagswSEZE=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq9+IU88wZ7GY=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq9+BJt8vUlY8=","name":"Use","_type":"UMLInterfaceRealization","_id":"AAAAAAFq+JX3r5enmmY=","source":"AAAAAAFq990mUslw3Vk=","target":"AAAAAAFq9+BJt8vUlY8="}
    {"_parent":"AAAAAAFq9+BJt8vUlY8=","visibility":"public","name":"waveLength","_type":"UMLAttribute","_id":"AAAAAAFq9+CjBswAOYk=","type":"int"}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","visibility":"public","name":"Consumer","_type":"UMLClass","_id":"AAAAAAFq+Jk5dZjZfTo="}
    {"_parent":"AAAAAAFq+Jk5dZjZfTo=","visibility":"public","name":"purchase","_type":"UMLOperation","_id":"AAAAAAFq+Jo3FZs\/jV0="}
    {"_parent":"AAAAAAFq+Jo3FZs\/jV0=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq+JpdZJtkiMI=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq+Jk5dZjZfTo=","name":null,"_type":"UMLAssociation","end2":"AAAAAAFq+Jl2HZmIRFE=","end1":"AAAAAAFq+Jl2HZmHdeg=","_id":"AAAAAAFq+Jl2HZmGS+k="}
    {"reference":"AAAAAAFq+Jk5dZjZfTo=","multiplicity":"","_parent":"AAAAAAFq+Jl2HZmGS+k=","visibility":"public","name":null,"_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+Jl2HZmIRFE="}
    {"reference":"AAAAAAFq990mUslw3Vk=","multiplicity":"","_parent":"AAAAAAFq+Jl2HZmGS+k=","visibility":"public","name":"Likes","_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+Jl2HZmHdeg="}
    {"_parent":"AAAAAAFq+Jk5dZjZfTo=","name":null,"_type":"UMLAssociation","end2":"AAAAAAFq+JmgC5n0XIE=","end1":"AAAAAAFq+JmgC5nzuPo=","_id":"AAAAAAFq+JmgC5nybCI="}
    {"reference":"AAAAAAFq+Jk5dZjZfTo=","multiplicity":"","_parent":"AAAAAAFq+JmgC5nybCI=","visibility":"public","name":null,"_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+JmgC5n0XIE="}
    {"reference":"AAAAAAFq9905a8nCKj0=","multiplicity":"","_parent":"AAAAAAFq+JmgC5nybCI=","visibility":"public","name":"Wants","_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+JmgC5nzuPo="}
    {"_parent":"AAAAAAFq+Jk5dZjZfTo=","visibility":"private","name":"name","_type":"UMLAttribute","_id":"AAAAAAFq+JoQq5rvJAQ=","type":"String"}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","visibility":"public","name":"Lawyer","_type":"UMLClass","_id":"AAAAAAFq+JqeKpuK37g="}
    {"_parent":"AAAAAAFq+JqeKpuK37g=","visibility":"public","name":"protect","_type":"UMLOperation","_id":"AAAAAAFq+JrgZJxY3IY="}
    {"_parent":"AAAAAAFq+JrgZJxY3IY=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq+Jr0jZx9nTw=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq+JqeKpuK37g=","name":null,"_type":"UMLAssociation","end2":"AAAAAAFq+JsScZy4pCY=","end1":"AAAAAAFq+JsScZy3rXc=","_id":"AAAAAAFq+JsScZy2w9o="}
    {"reference":"AAAAAAFq9905a8nCKj0=","multiplicity":"","_parent":"AAAAAAFq+JsScZy2w9o=","visibility":"public","name":null,"_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+JsScZy4pCY="}
    {"reference":"AAAAAAFq+JqeKpuK37g=","multiplicity":"","_parent":"AAAAAAFq+JsScZy2w9o=","visibility":"public","name":"law","_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+JsScZy3rXc="}
    {"_parent":"AAAAAAFq+JqeKpuK37g=","name":null,"_type":"UMLAssociation","end2":"AAAAAAFq+J5ntJ6+rHU=","end1":"AAAAAAFq+J5ntJ69Kco=","_id":"AAAAAAFq+J5ntJ68QLg="}
    {"reference":"AAAAAAFq+JqeKpuK37g=","multiplicity":"","_parent":"AAAAAAFq+J5ntJ68QLg=","visibility":"public","name":null,"_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+J5ntJ6+rHU="}
    {"reference":"AAAAAAFq+JqeKpuK37g=","multiplicity":"","_parent":"AAAAAAFq+J5ntJ68QLg=","visibility":"public","name":"defend","_type":"UMLAssociationEnd","aggregation":"none","_id":"AAAAAAFq+J5ntJ69Kco="}
    {"_parent":"AAAAAAFq+JqeKpuK37g=","visibility":"public","name":"name","_type":"UMLAttribute","_id":"AAAAAAFq+Jq7spvwm9U=","type":"String"}
    {"_parent":"AAAAAAFF+qBWK6M3Z8Y=","visibility":"public","name":"Intelligence","_type":"UMLClass","_id":"AAAAAAFq+Wz6aa6SyQE="}
    {"_parent":"AAAAAAFq+Wz6aa6SyQE=","visibility":"private","name":"gain","_type":"UMLOperation","_id":"AAAAAAFq+W1ekq\/Li2I="}
    {"_parent":"AAAAAAFq+W1ekq\/Li2I=","name":null,"_type":"UMLParameter","_id":"AAAAAAFq+W125bAOxoE=","type":"boolean","direction":"return"}
    {"_parent":"AAAAAAFq+Wz6aa6SyQE=","visibility":"private","name":"natural","_type":"UMLAttribute","_id":"AAAAAAFq+W0j+a9MsLo=","type":"boolean"}
    END_OF_MODEL
    CLASS_OPERATION_COUNT Lawyer RETURN
    CLASS_ATTR_VISIBILITY Intelligence call
    CLASS_COUNT
    CLASS_ATTR_COUNT number SELF_ONLY
    CLASS_ATTR_VISIBILITY available call
    CLASS_IMPLEMENT_INTERFACE_LIST Wants
    CLASS_INFO_HIDDEN natural
    CLASS_ATTR_COUNT name ALL
    CLASS_ATTR_COUNT brand SELF_ONLY
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_TOP_BASE Use
    CLASS_ATTR_VISIBILITY gain people
    CLASS_ASSO_CLASS_LIST name
    CLASS_ATTR_VISIBILITY available unlocked
    CLASS_ATTR_VISIBILITY Intelligence call
    CLASS_TOP_BASE time
    CLASS_ASSO_CLASS_LIST iPhone
    CLASS_OPERATION_COUNT activate RETURN
    CLASS_ASSO_CLASS_LIST Microwave
    CLASS_ATTR_COUNT call ALL
    CLASS_ATTR_COUNT call ALL
    CLASS_ASSO_CLASS_LIST time
    CLASS_ATTR_COUNT call SELF_ONLY
    CLASS_TOP_BASE activate
    CLASS_COUNT
    CLASS_ASSO_COUNT Lawyer
    CLASS_ATTR_COUNT brand ALL
    CLASS_TOP_BASE smart
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST best
    CLASS_ASSO_CLASS_LIST Use
    CLASS_ATTR_VISIBILITY available smart
    CLASS_ASSO_CLASS_LIST protect
    CLASS_OPERATION_COUNT covered PARAM
    CLASS_ASSO_COUNT call
    CLASS_ATTR_COUNT Intelligence ALL
    CLASS_IMPLEMENT_INTERFACE_LIST time
    CLASS_ATTR_COUNT waveLength SELF_ONLY
    CLASS_ATTR_VISIBILITY brand available
    CLASS_TOP_BASE defend
    CLASS_ATTR_VISIBILITY purchase activate
    CLASS_TOP_BASE priceTag
    CLASS_ATTR_COUNT waveLength ALL
    CLASS_IMPLEMENT_INTERFACE_LIST call
    CLASS_ASSO_CLASS_LIST hour
    CLASS_IMPLEMENT_INTERFACE_LIST name
    CLASS_TOP_BASE current
    CLASS_ASSO_COUNT activate
    CLASS_OPERATION_VISIBILITY Use name
    CLASS_INFO_HIDDEN activate
    CLASS_OPERATION_VISIBILITY Microwave brand
    CLASS_COUNT
    CLASS_IMPLEMENT_INTERFACE_LIST people
    CLASS_ASSO_CLASS_LIST SmartPhone
    CLASS_ATTR_COUNT protect SELF_ONLY
    CLASS_ASSO_CLASS_LIST current
    CLASS_ATTR_COUNT hour ALL
    CLASS_ATTR_VISIBILITY law enabled
    CLASS_OPERATION_COUNT Intelligence PARAM
    CLASS_OPERATION_VISIBILITY name available
    CLASS_TOP_BASE current
    CLASS_IMPLEMENT_INTERFACE_LIST law
    CLASS_IMPLEMENT_INTERFACE_LIST available
    CLASS_ATTR_COUNT law SELF_ONLY
    CLASS_COUNT
    CLASS_ATTR_COUNT smart ALL
    CLASS_TOP_BASE Lawyer
    CLASS_ASSO_CLASS_LIST Intelligence
    CLASS_ATTR_COUNT unlocked SELF_ONLY
    CLASS_ASSO_CLASS_LIST waveLength
    CLASS_IMPLEMENT_INTERFACE_LIST name
    CLASS_IMPLEMENT_INTERFACE_LIST call
    CLASS_ASSO_COUNT name
    CLASS_INFO_HIDDEN Lawyer
    CLASS_OPERATION_COUNT Intelligence NON_RETURN
    CLASS_TOP_BASE purchase
    CLASS_OPERATION_COUNT Lawyer NON_PARAM
    CLASS_COUNT
    CLASS_OPERATION_VISIBILITY name covered
    CLASS_ATTR_VISIBILITY protect name
    CLASS_ASSO_COUNT activate
    CLASS_IMPLEMENT_INTERFACE_LIST priceTag
    CLASS_IMPLEMENT_INTERFACE_LIST hour
    CLASS_ATTR_COUNT gain ALL
    CLASS_ASSO_CLASS_LIST Microwave
    CLASS_IMPLEMENT_INTERFACE_LIST model
    CLASS_TOP_BASE waveLength
    CLASS_ATTR_COUNT name ALL
    CLASS_TOP_BASE Inherit
    CLASS_ATTR_VISIBILITY activate priceTag
    CLASS_ATTR_VISIBILITY best Microwave
    CLASS_OPERATION_COUNT Likes NON_RETURN
    CLASS_INFO_HIDDEN activate
    CLASS_ATTR_VISIBILITY name SmartPhone
    CLASS_ASSO_COUNT Electronics
    CLASS_ASSO_CLASS_LIST available
    CLASS_ASSO_COUNT defend
    CLASS_OPERATION_COUNT covered NON_RETURN
    CLASS_OPERATION_VISIBILITY call people
    CLASS_IMPLEMENT_INTERFACE_LIST defend
    CLASS_TOP_BASE Lawyer
    CLASS_OPERATION_VISIBILITY available enabled
    CLASS_ASSO_CLASS_LIST model
    CLASS_TOP_BASE waveLength
    CLASS_TOP_BASE activate
    CLASS_COUNT
    CLASS_OPERATION_COUNT time ALL
    CLASS_OPERATION_COUNT priceTag RETURN
    CLASS_OPERATION_COUNT name NON_PARAM
    CLASS_IMPLEMENT_INTERFACE_LIST current
    CLASS_TOP_BASE natural
    CLASS_TOP_BASE time
    CLASS_COUNT
    CLASS_OPERATION_COUNT available ALL
    CLASS_OPERATION_VISIBILITY brand activate
    CLASS_INFO_HIDDEN call
    CLASS_INFO_HIDDEN hour
    CLASS_COUNT
    CLASS_OPERATION_VISIBILITY name unlocked
    CLASS_ASSO_CLASS_LIST activate
    CLASS_TOP_BASE defend
    CLASS_OPERATION_VISIBILITY model call
    CLASS_IMPLEMENT_INTERFACE_LIST gain
    CLASS_INFO_HIDDEN law
    CLASS_ASSO_COUNT call
    CLASS_ATTR_COUNT Realize SELF_ONLY
    CLASS_ATTR_VISIBILITY Microwave smart
    CLASS_ATTR_VISIBILITY priceTag unlocked
    CLASS_ASSO_COUNT natural
    CLASS_OPERATION_VISIBILITY smart brand
    CLASS_ATTR_VISIBILITY brand activate
    CLASS_ASSO_COUNT iPhone
    CLASS_IMPLEMENT_INTERFACE_LIST enabled
    CLASS_TOP_BASE Consumer
    CLASS_ASSO_COUNT Use
    CLASS_IMPLEMENT_INTERFACE_LIST call
    CLASS_ASSO_CLASS_LIST Electronics
    CLASS_TOP_BASE gain
    CLASS_IMPLEMENT_INTERFACE_LIST Realize
    CLASS_TOP_BASE name
    CLASS_ATTR_VISIBILITY Microwave name
    CLASS_ASSO_CLASS_LIST name
    CLASS_COUNT
    CLASS_IMPLEMENT_INTERFACE_LIST best
    CLASS_ASSO_COUNT current
    CLASS_IMPLEMENT_INTERFACE_LIST iPhone
    CLASS_OPERATION_VISIBILITY Intelligence hour
    CLASS_ASSO_CLASS_LIST name
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST Use
    CLASS_IMPLEMENT_INTERFACE_LIST time
    CLASS_COUNT
    CLASS_OPERATION_VISIBILITY name Lawyer
    CLASS_IMPLEMENT_INTERFACE_LIST current
    CLASS_ASSO_COUNT call
    CLASS_TOP_BASE SmartPhone
    CLASS_TOP_BASE Lawyer
    CLASS_TOP_BASE Microwave
    CLASS_ASSO_COUNT hour
    CLASS_INFO_HIDDEN enabled
    CLASS_ATTR_COUNT available ALL
    CLASS_ATTR_COUNT call SELF_ONLY
    CLASS_ATTR_VISIBILITY available best
    CLASS_ASSO_CLASS_LIST available
    CLASS_ASSO_COUNT answer
    CLASS_ASSO_COUNT available
    CLASS_COUNT
    CLASS_COUNT
    CLASS_IMPLEMENT_INTERFACE_LIST people
    CLASS_TOP_BASE time
    CLASS_OPERATION_COUNT covered ALL
    CLASS_INFO_HIDDEN unlocked
    CLASS_ATTR_COUNT name ALL
    CLASS_ASSO_COUNT protect
    CLASS_OPERATION_COUNT iPhone NON_PARAM
    CLASS_OPERATION_COUNT Electronics ALL
    CLASS_OPERATION_VISIBILITY date priceTag
    CLASS_ATTR_COUNT waveLength SELF_ONLY
    CLASS_COUNT
    CLASS_ATTR_VISIBILITY Intelligence purchase
    CLASS_COUNT
    CLASS_INFO_HIDDEN Wants
    CLASS_TOP_BASE Likes
    CLASS_TOP_BASE available
    CLASS_ASSO_COUNT waveLength
    CLASS_COUNT
    CLASS_INFO_HIDDEN purchase
    CLASS_OPERATION_VISIBILITY people call
    CLASS_ATTR_VISIBILITY call call
    CLASS_OPERATION_COUNT model ALL
    CLASS_ATTR_COUNT brand ALL
    CLASS_ATTR_VISIBILITY natural name
    CLASS_ASSO_CLASS_LIST natural
    CLASS_COUNT
    CLASS_OPERATION_COUNT iPhone NON_PARAM
    CLASS_TOP_BASE activate
    CLASS_ASSO_COUNT model
    CLASS_OPERATION_VISIBILITY activate gain
    CLASS_ATTR_COUNT current SELF_ONLY
    CLASS_TOP_BASE brand
    CLASS_ASSO_COUNT call
    CLASS_ATTR_VISIBILITY Microwave hour
    CLASS_ASSO_COUNT gain
    CLASS_ATTR_COUNT unlocked ALL
    CLASS_ATTR_VISIBILITY protect covered
    CLASS_INFO_HIDDEN activate
    CLASS_IMPLEMENT_INTERFACE_LIST name
    CLASS_OPERATION_COUNT name NON_RETURN
    CLASS_OPERATION_COUNT answer ALL
    CLASS_INFO_HIDDEN enabled
    CLASS_ASSO_CLASS_LIST date
    CLASS_ASSO_CLASS_LIST model
    CLASS_INFO_HIDDEN activate
    CLASS_INFO_HIDDEN name
    CLASS_IMPLEMENT_INTERFACE_LIST Lawyer
    CLASS_TOP_BASE model
    CLASS_IMPLEMENT_INTERFACE_LIST iPhone
    CLASS_TOP_BASE best
    CLASS_OPERATION_VISIBILITY Inherit activate
    CLASS_ATTR_VISIBILITY name time
    CLASS_ASSO_CLASS_LIST covered
    CLASS_INFO_HIDDEN Wants
    CLASS_ASSO_CLASS_LIST name
    CLASS_ASSO_COUNT time
    CLASS_OPERATION_VISIBILITY name Inherit
    CLASS_ASSO_COUNT model
    CLASS_ATTR_COUNT Lawyer ALL
    CLASS_ASSO_CLASS_LIST Use
    CLASS_INFO_HIDDEN date
    CLASS_ASSO_CLASS_LIST date
    CLASS_TOP_BASE model
    CLASS_COUNT
    CLASS_COUNT
    CLASS_INFO_HIDDEN time
    CLASS_INFO_HIDDEN name
    CLASS_OPERATION_COUNT Likes NON_RETURN
    CLASS_ATTR_VISIBILITY hour hour
    CLASS_ASSO_CLASS_LIST call
    CLASS_COUNT
    CLASS_OPERATION_VISIBILITY Lawyer best
    CLASS_COUNT
    CLASS_ASSO_COUNT covered
    CLASS_OPERATION_VISIBILITY brand law
    CLASS_ASSO_COUNT available
    CLASS_OPERATION_COUNT priceTag NON_PARAM
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_INFO_HIDDEN name
    CLASS_ASSO_COUNT enabled
    CLASS_ASSO_CLASS_LIST name
    CLASS_ASSO_COUNT answer
    CLASS_OPERATION_COUNT available ALL
    CLASS_ASSO_COUNT name
    CLASS_COUNT
    CLASS_COUNT
    CLASS_OPERATION_COUNT Consumer ALL
    CLASS_INFO_HIDDEN purchase
    CLASS_COUNT
    CLASS_COUNT
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_ATTR_VISIBILITY enabled Intelligence
    CLASS_ASSO_COUNT Lawyer
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST protect
    CLASS_TOP_BASE people
    CLASS_COUNT
    CLASS_ATTR_COUNT activate SELF_ONLY
    CLASS_ATTR_COUNT Microwave ALL
    CLASS_INFO_HIDDEN iPhone
    CLASS_TOP_BASE activate
    CLASS_OPERATION_VISIBILITY name best
    CLASS_TOP_BASE call
    CLASS_OPERATION_COUNT waveLength PARAM
    CLASS_ASSO_CLASS_LIST activate
    CLASS_OPERATION_COUNT defend NON_PARAM
    CLASS_ASSO_CLASS_LIST call
    CLASS_ATTR_VISIBILITY activate Inherit
    CLASS_TOP_BASE Lawyer
    CLASS_INFO_HIDDEN best
    CLASS_OPERATION_COUNT date PARAM
    CLASS_ASSO_CLASS_LIST Lawyer
    CLASS_OPERATION_COUNT activate NON_RETURN
    CLASS_ATTR_COUNT iPhone ALL
    CLASS_OPERATION_VISIBILITY smart call
    CLASS_ASSO_CLASS_LIST protect
    CLASS_ATTR_VISIBILITY priceTag date
    CLASS_ASSO_COUNT Inherit
    CLASS_INFO_HIDDEN Wants
    CLASS_INFO_HIDDEN name
    CLASS_COUNT
    CLASS_ATTR_VISIBILITY current name
    CLASS_COUNT
    CLASS_ATTR_COUNT natural ALL
    CLASS_OPERATION_COUNT Electronics RETURN
    CLASS_OPERATION_COUNT Likes PARAM
    CLASS_IMPLEMENT_INTERFACE_LIST call
    CLASS_ASSO_CLASS_LIST smart
    CLASS_ASSO_CLASS_LIST Likes
    CLASS_ASSO_CLASS_LIST name
    CLASS_IMPLEMENT_INTERFACE_LIST natural
    CLASS_COUNT
    CLASS_COUNT
    CLASS_IMPLEMENT_INTERFACE_LIST hour
    CLASS_TOP_BASE activate
    CLASS_ATTR_VISIBILITY activate unlocked
    CLASS_TOP_BASE activate
    CLASS_OPERATION_COUNT activate NON_PARAM
    CLASS_INFO_HIDDEN natural
    CLASS_ASSO_CLASS_LIST smart
    CLASS_OPERATION_COUNT gain PARAM
    CLASS_INFO_HIDDEN available
    CLASS_INFO_HIDDEN iPhone
    CLASS_COUNT
    CLASS_COUNT
    CLASS_COUNT
    CLASS_TOP_BASE name
    CLASS_ASSO_CLASS_LIST date
    CLASS_OPERATION_VISIBILITY model defend
    CLASS_TOP_BASE unlocked
    CLASS_ASSO_CLASS_LIST name
    CLASS_INFO_HIDDEN time
    CLASS_ATTR_VISIBILITY activate activate
    CLASS_IMPLEMENT_INTERFACE_LIST call
    CLASS_OPERATION_COUNT priceTag PARAM
    CLASS_OPERATION_COUNT Lawyer RETURN
    CLASS_ASSO_COUNT Use
    CLASS_ATTR_COUNT name SELF_ONLY
    CLASS_COUNT
    CLASS_TOP_BASE answer
    CLASS_COUNT
    CLASS_INFO_HIDDEN priceTag
    CLASS_TOP_BASE natural
    CLASS_IMPLEMENT_INTERFACE_LIST covered
    CLASS_ATTR_VISIBILITY Consumer Wants
    CLASS_ATTR_VISIBILITY waveLength best
    CLASS_ATTR_VISIBILITY name people
    CLASS_ASSO_COUNT activate
    CLASS_ATTR_VISIBILITY name best
    CLASS_IMPLEMENT_INTERFACE_LIST Inherit
    CLASS_OPERATION_COUNT Microwave RETURN
    CLASS_INFO_HIDDEN Intelligence
    CLASS_OPERATION_COUNT gain RETURN
    CLASS_ATTR_VISIBILITY Electronics defend
    CLASS_COUNT
    CLASS_INFO_HIDDEN activate
    CLASS_OPERATION_COUNT smart PARAM
    CLASS_IMPLEMENT_INTERFACE_LIST brand
    CLASS_TOP_BASE name
    CLASS_ASSO_COUNT activate
    CLASS_COUNT
    CLASS_OPERATION_COUNT best ALL
    CLASS_OPERATION_COUNT SmartPhone PARAM
    CLASS_IMPLEMENT_INTERFACE_LIST Wants
    CLASS_ASSO_COUNT Microwave
    CLASS_OPERATION_VISIBILITY model activate
    CLASS_TOP_BASE time
    CLASS_ASSO_CLASS_LIST Likes
    CLASS_ASSO_COUNT purchase
    CLASS_OPERATION_COUNT name PARAM
    CLASS_COUNT
    CLASS_OPERATION_VISIBILITY current Use
    CLASS_ATTR_VISIBILITY Wants iPhone
    CLASS_ASSO_CLASS_LIST Inherit
    CLASS_INFO_HIDDEN call
    CLASS_ATTR_VISIBILITY name brand
    CLASS_ATTR_VISIBILITY Inherit Realize
    CLASS_ASSO_COUNT model
    CLASS_TOP_BASE activate
    CLASS_TOP_BASE time
    CLASS_ATTR_VISIBILITY activate defend
    CLASS_ASSO_COUNT people
    CLASS_ATTR_VISIBILITY available Lawyer
    CLASS_INFO_HIDDEN activate
    CLASS_INFO_HIDDEN purchase
    CLASS_ATTR_VISIBILITY Microwave Inherit
    CLASS_OPERATION_VISIBILITY date call
    CLASS_ATTR_VISIBILITY name call
    CLASS_TOP_BASE purchase
    CLASS_ATTR_COUNT waveLength ALL
    CLASS_IMPLEMENT_INTERFACE_LIST Electronics
    CLASS_OPERATION_COUNT activate NON_RETURN
    CLASS_ASSO_COUNT date
    CLASS_OPERATION_COUNT activate RETURN
    CLASS_ATTR_VISIBILITY hour Microwave
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_INFO_HIDDEN Microwave
    CLASS_ATTR_COUNT call SELF_ONLY
    CLASS_ASSO_CLASS_LIST purchase
    CLASS_ASSO_COUNT activate
    CLASS_OPERATION_VISIBILITY activate available
    CLASS_OPERATION_VISIBILITY available law
    CLASS_ASSO_COUNT time
    CLASS_ATTR_COUNT time ALL
    CLASS_TOP_BASE waveLength
    CLASS_OPERATION_VISIBILITY enabled brand
    CLASS_OPERATION_VISIBILITY name model
    CLASS_ATTR_VISIBILITY covered best
    CLASS_OPERATION_VISIBILITY defend protect
    CLASS_INFO_HIDDEN law
    CLASS_ASSO_CLASS_LIST hour
    CLASS_ATTR_VISIBILITY brand activate
    CLASS_ATTR_COUNT Intelligence ALL
    CLASS_ATTR_VISIBILITY protect waveLength
    CLASS_ATTR_VISIBILITY name available
    CLASS_ASSO_COUNT people
    CLASS_INFO_HIDDEN activate
    CLASS_TOP_BASE time
    CLASS_ATTR_VISIBILITY defend gain
    CLASS_OPERATION_COUNT available ALL
    CLASS_ATTR_COUNT call SELF_ONLY
    CLASS_ASSO_COUNT Microwave
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_ASSO_CLASS_LIST activate
    CLASS_ATTR_VISIBILITY Lawyer law
    CLASS_OPERATION_VISIBILITY activate Wants
    CLASS_IMPLEMENT_INTERFACE_LIST model
    CLASS_ATTR_COUNT Likes ALL
    CLASS_COUNT
    CLASS_TOP_BASE call
    CLASS_ASSO_CLASS_LIST activate
    CLASS_ATTR_COUNT activate ALL
    CLASS_INFO_HIDDEN Electronics
    CLASS_ATTR_COUNT purchase ALL
    CLASS_ASSO_CLASS_LIST priceTag
    CLASS_IMPLEMENT_INTERFACE_LIST purchase
    CLASS_COUNT
    CLASS_ATTR_COUNT Wants SELF_ONLY
    CLASS_ASSO_CLASS_LIST brand
    CLASS_IMPLEMENT_INTERFACE_LIST covered
    CLASS_ATTR_COUNT call ALL
    CLASS_ATTR_VISIBILITY covered model
    CLASS_OPERATION_COUNT enabled RETURN
    CLASS_OPERATION_VISIBILITY model unlocked
    CLASS_TOP_BASE Likes
    CLASS_TOP_BASE Realize
    CLASS_ASSO_CLASS_LIST model
    CLASS_OPERATION_COUNT people NON_PARAM
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_COUNT
    CLASS_TOP_BASE call
    CLASS_IMPLEMENT_INTERFACE_LIST priceTag
    CLASS_OPERATION_COUNT people ALL
    CLASS_OPERATION_VISIBILITY activate activate
    CLASS_ASSO_CLASS_LIST activate
    CLASS_TOP_BASE priceTag
    CLASS_ASSO_COUNT model
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST priceTag
    CLASS_ASSO_COUNT Realize
    CLASS_ASSO_COUNT activate
    CLASS_INFO_HIDDEN defend
    CLASS_OPERATION_COUNT hour ALL
    CLASS_ASSO_COUNT hour
    CLASS_ASSO_COUNT enabled
    CLASS_OPERATION_COUNT call NON_PARAM
    CLASS_ATTR_COUNT number ALL
    CLASS_ASSO_COUNT brand
    CLASS_ASSO_COUNT activate
    CLASS_ASSO_CLASS_LIST Wants
    CLASS_TOP_BASE brand
    CLASS_ATTR_COUNT activate SELF_ONLY
    CLASS_ATTR_VISIBILITY Realize best
    CLASS_ATTR_VISIBILITY Intelligence name
    CLASS_ATTR_VISIBILITY name available
    CLASS_ATTR_COUNT brand ALL
    CLASS_INFO_HIDDEN enabled
    CLASS_INFO_HIDDEN Microwave
    CLASS_ATTR_COUNT call ALL
    CLASS_ASSO_CLASS_LIST activate
    CLASS_OPERATION_COUNT Inherit NON_RETURN
    CLASS_OPERATION_COUNT Inherit ALL
    CLASS_ATTR_VISIBILITY time number
    CLASS_ATTR_COUNT priceTag SELF_ONLY
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_INFO_HIDDEN best
    CLASS_INFO_HIDDEN Use
    CLASS_ASSO_CLASS_LIST iPhone
    CLASS_INFO_HIDDEN activate
    CLASS_ATTR_COUNT smart SELF_ONLY
    CLASS_INFO_HIDDEN hour
    CLASS_ASSO_CLASS_LIST law
    CLASS_TOP_BASE Inherit
    CLASS_COUNT
    CLASS_COUNT
    CLASS_TOP_BASE call
    CLASS_TOP_BASE unlocked
    CLASS_ATTR_VISIBILITY priceTag hour
    CLASS_COUNT
    CLASS_ATTR_COUNT defend ALL
    CLASS_ASSO_CLASS_LIST Realize
    CLASS_ASSO_COUNT natural
    CLASS_IMPLEMENT_INTERFACE_LIST name
    CLASS_ATTR_VISIBILITY priceTag number
    CLASS_TOP_BASE Likes
    CLASS_ATTR_VISIBILITY gain call
    CLASS_ATTR_VISIBILITY model name
    CLASS_ASSO_CLASS_LIST Consumer
    CLASS_ASSO_COUNT model
    CLASS_IMPLEMENT_INTERFACE_LIST current
    CLASS_TOP_BASE name
    CLASS_ASSO_COUNT time
    CLASS_OPERATION_VISIBILITY call enabled
    CLASS_OPERATION_VISIBILITY Realize priceTag
    CLASS_COUNT
    CLASS_INFO_HIDDEN best
    CLASS_OPERATION_VISIBILITY name smart
    CLASS_OPERATION_COUNT Likes NON_RETURN
    CLASS_ASSO_COUNT law
    CLASS_INFO_HIDDEN Lawyer
    CLASS_COUNT
    CLASS_INFO_HIDDEN unlocked
    CLASS_OPERATION_COUNT brand NON_PARAM
    CLASS_INFO_HIDDEN best
    CLASS_ATTR_COUNT Likes SELF_ONLY
    CLASS_ASSO_COUNT Realize
    CLASS_TOP_BASE unlocked
    CLASS_OPERATION_VISIBILITY gain answer
    CLASS_ATTR_COUNT date SELF_ONLY
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST protect
    CLASS_OPERATION_COUNT people PARAM
    CLASS_COUNT
    CLASS_INFO_HIDDEN gain
    CLASS_TOP_BASE Intelligence
    CLASS_ATTR_COUNT name ALL
    CLASS_OPERATION_VISIBILITY law iPhone
    CLASS_INFO_HIDDEN Intelligence
    CLASS_ATTR_VISIBILITY time Microwave
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_INFO_HIDDEN smart
    CLASS_OPERATION_COUNT time NON_RETURN
    CLASS_INFO_HIDDEN available
    CLASS_TOP_BASE name
    CLASS_ATTR_COUNT brand ALL
    CLASS_COUNT
    CLASS_IMPLEMENT_INTERFACE_LIST Likes
    CLASS_INFO_HIDDEN natural
    CLASS_COUNT
    CLASS_ATTR_COUNT available ALL
    CLASS_ATTR_COUNT time SELF_ONLY
    CLASS_ASSO_CLASS_LIST activate
    CLASS_ASSO_CLASS_LIST purchase
    CLASS_ATTR_VISIBILITY Realize time
    CLASS_ASSO_COUNT Electronics
    CLASS_ASSO_CLASS_LIST Intelligence
    CLASS_OPERATION_VISIBILITY gain activate
    CLASS_OPERATION_COUNT people RETURN
    CLASS_ASSO_CLASS_LIST answer
    CLASS_ATTR_VISIBILITY time Electronics
    CLASS_TOP_BASE law
    CLASS_OPERATION_COUNT name ALL
    CLASS_INFO_HIDDEN best
    CLASS_TOP_BASE people
    CLASS_OPERATION_VISIBILITY activate smart
    CLASS_OPERATION_VISIBILITY waveLength activate
    CLASS_OPERATION_COUNT unlocked NON_PARAM
    CLASS_ASSO_COUNT call
    CLASS_ASSO_COUNT current
    CLASS_OPERATION_COUNT activate NON_RETURN
    CLASS_ATTR_VISIBILITY name priceTag
    CLASS_COUNT
    CLASS_OPERATION_VISIBILITY Electronics best
    CLASS_INFO_HIDDEN protect
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST Microwave
    CLASS_INFO_HIDDEN call
    CLASS_ATTR_COUNT Likes ALL
    CLASS_ATTR_COUNT answer ALL
    CLASS_INFO_HIDDEN enabled
    CLASS_ATTR_VISIBILITY brand Inherit
    CLASS_ASSO_CLASS_LIST available
    CLASS_ATTR_VISIBILITY Consumer best
    CLASS_COUNT
    CLASS_OPERATION_VISIBILITY Inherit iPhone
    CLASS_ATTR_VISIBILITY date purchase
    CLASS_ASSO_CLASS_LIST Likes
    CLASS_ATTR_COUNT best ALL
    CLASS_ASSO_COUNT Likes
    CLASS_ASSO_CLASS_LIST Realize
    CLASS_OPERATION_COUNT time ALL
    CLASS_TOP_BASE available
    CLASS_OPERATION_VISIBILITY Use call
    CLASS_ATTR_COUNT name SELF_ONLY
    CLASS_ASSO_COUNT time
    CLASS_OPERATION_VISIBILITY law unlocked
    CLASS_ASSO_COUNT activate
    CLASS_INFO_HIDDEN time
    CLASS_ATTR_COUNT covered ALL
    CLASS_IMPLEMENT_INTERFACE_LIST unlocked
    CLASS_IMPLEMENT_INTERFACE_LIST Microwave
    CLASS_OPERATION_VISIBILITY call purchase
    CLASS_TOP_BASE current
    CLASS_ATTR_COUNT priceTag ALL
    CLASS_OPERATION_COUNT Intelligence RETURN
    CLASS_ATTR_VISIBILITY activate available
    CLASS_ASSO_COUNT brand
    CLASS_TOP_BASE name
    CLASS_TOP_BASE Microwave
    CLASS_INFO_HIDDEN Intelligence
    CLASS_COUNT
    CLASS_ATTR_VISIBILITY date time
    CLASS_ASSO_COUNT name
    CLASS_COUNT
    CLASS_TOP_BASE name
    CLASS_ATTR_VISIBILITY protect SmartPhone
    CLASS_ASSO_COUNT Use
    CLASS_TOP_BASE smart
    CLASS_ASSO_COUNT Lawyer
    CLASS_INFO_HIDDEN Microwave
    CLASS_OPERATION_COUNT date NON_PARAM
    CLASS_TOP_BASE call
    CLASS_ASSO_CLASS_LIST natural
    CLASS_OPERATION_VISIBILITY current covered
    CLASS_OPERATION_VISIBILITY available gain
    CLASS_OPERATION_VISIBILITY defend Inherit
    CLASS_OPERATION_VISIBILITY activate natural
    CLASS_IMPLEMENT_INTERFACE_LIST Intelligence
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_INFO_HIDDEN Electronics
    CLASS_TOP_BASE law
    CLASS_TOP_BASE smart
    CLASS_COUNT
    CLASS_ATTR_COUNT time SELF_ONLY
    CLASS_INFO_HIDDEN SmartPhone
    CLASS_INFO_HIDDEN iPhone
    CLASS_OPERATION_COUNT answer PARAM
    CLASS_ATTR_VISIBILITY people natural
    CLASS_ASSO_COUNT call
    CLASS_ASSO_CLASS_LIST priceTag
    CLASS_OPERATION_COUNT protect RETURN
    CLASS_INFO_HIDDEN Electronics
    CLASS_ASSO_CLASS_LIST gain
    CLASS_ATTR_COUNT activate SELF_ONLY
    CLASS_ASSO_CLASS_LIST Consumer
    CLASS_IMPLEMENT_INTERFACE_LIST time
    CLASS_INFO_HIDDEN number
    CLASS_IMPLEMENT_INTERFACE_LIST natural
    CLASS_ATTR_COUNT Inherit ALL
    CLASS_INFO_HIDDEN priceTag
    CLASS_IMPLEMENT_INTERFACE_LIST date
    CLASS_COUNT
    CLASS_TOP_BASE best
    CLASS_TOP_BASE purchase
    CLASS_ATTR_VISIBILITY call defend
    CLASS_ASSO_CLASS_LIST time
    CLASS_INFO_HIDDEN time
    CLASS_TOP_BASE law
    CLASS_ATTR_VISIBILITY call protect
    CLASS_OPERATION_VISIBILITY time activate
    CLASS_OPERATION_VISIBILITY current protect
    CLASS_TOP_BASE Use
    CLASS_TOP_BASE Intelligence
    CLASS_ASSO_COUNT defend
    CLASS_COUNT
    CLASS_ASSO_COUNT gain
    CLASS_OPERATION_COUNT best PARAM
    CLASS_COUNT
    CLASS_ASSO_COUNT time
    CLASS_ATTR_VISIBILITY Use covered
    CLASS_TOP_BASE law
    CLASS_IMPLEMENT_INTERFACE_LIST Lawyer
    CLASS_ATTR_COUNT waveLength SELF_ONLY
    CLASS_ATTR_COUNT Intelligence ALL
    CLASS_COUNT
    CLASS_TOP_BASE people
    CLASS_ASSO_CLASS_LIST defend
    CLASS_OPERATION_VISIBILITY Inherit model
    CLASS_COUNT
    CLASS_OPERATION_COUNT natural PARAM
    CLASS_OPERATION_COUNT law PARAM
    CLASS_TOP_BASE unlocked
    CLASS_ATTR_VISIBILITY current activate
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST brand
    CLASS_OPERATION_COUNT activate PARAM
    CLASS_ATTR_VISIBILITY Wants waveLength
    CLASS_IMPLEMENT_INTERFACE_LIST people
    CLASS_ASSO_COUNT call
    CLASS_IMPLEMENT_INTERFACE_LIST natural
    CLASS_ASSO_CLASS_LIST activate
    CLASS_IMPLEMENT_INTERFACE_LIST call
    CLASS_OPERATION_VISIBILITY activate waveLength
    CLASS_INFO_HIDDEN smart
    CLASS_COUNT
    CLASS_TOP_BASE priceTag
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST activate
    CLASS_IMPLEMENT_INTERFACE_LIST defend
    CLASS_ATTR_COUNT activate ALL
    CLASS_TOP_BASE time
    CLASS_OPERATION_COUNT activate PARAM
    CLASS_ATTR_COUNT protect SELF_ONLY
    CLASS_ASSO_COUNT Realize
    CLASS_ATTR_VISIBILITY model name
    CLASS_ASSO_CLASS_LIST time
    CLASS_ASSO_CLASS_LIST time
    CLASS_ASSO_CLASS_LIST number
    CLASS_IMPLEMENT_INTERFACE_LIST Intelligence
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_ASSO_COUNT date
    CLASS_OPERATION_VISIBILITY Likes time
    CLASS_TOP_BASE activate
    CLASS_ATTR_COUNT priceTag SELF_ONLY
    CLASS_TOP_BASE Realize
    CLASS_TOP_BASE call
    CLASS_ATTR_COUNT enabled SELF_ONLY
    CLASS_ASSO_CLASS_LIST iPhone
    CLASS_TOP_BASE Intelligence
    CLASS_OPERATION_VISIBILITY activate best
    CLASS_INFO_HIDDEN priceTag
    CLASS_TOP_BASE smart
    CLASS_OPERATION_VISIBILITY Electronics smart
    CLASS_COUNT
    CLASS_ATTR_VISIBILITY natural Wants
    CLASS_ASSO_COUNT covered
    CLASS_ATTR_COUNT activate SELF_ONLY
    CLASS_OPERATION_COUNT Inherit RETURN
    CLASS_COUNT
    CLASS_ATTR_COUNT available SELF_ONLY
    CLASS_ATTR_COUNT name ALL
    CLASS_ATTR_COUNT purchase SELF_ONLY
    CLASS_ATTR_VISIBILITY enabled call
    CLASS_ASSO_CLASS_LIST Microwave
    CLASS_INFO_HIDDEN Inherit
    CLASS_ATTR_VISIBILITY time priceTag
    CLASS_ATTR_COUNT activate SELF_ONLY
    CLASS_INFO_HIDDEN priceTag
    CLASS_TOP_BASE call
    CLASS_ASSO_COUNT answer
    CLASS_ASSO_COUNT Intelligence
    CLASS_OPERATION_COUNT people ALL
    CLASS_COUNT
    CLASS_ASSO_CLASS_LIST Use
    CLASS_IMPLEMENT_INTERFACE_LIST smart
    CLASS_TOP_BASE Intelligence
    CLASS_ATTR_COUNT answer SELF_ONLY
    CLASS_ASSO_COUNT model
    CLASS_OPERATION_VISIBILITY model priceTag
    CLASS_ATTR_VISIBILITY activate SmartPhone
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_IMPLEMENT_INTERFACE_LIST name
    CLASS_ASSO_CLASS_LIST iPhone
    CLASS_ASSO_COUNT call
    CLASS_IMPLEMENT_INTERFACE_LIST protect
    CLASS_ASSO_COUNT unlocked
    CLASS_ATTR_COUNT purchase SELF_ONLY
    CLASS_ASSO_CLASS_LIST smart
    CLASS_INFO_HIDDEN Use
    CLASS_OPERATION_VISIBILITY name hour
    CLASS_TOP_BASE model
    CLASS_OPERATION_COUNT Microwave NON_PARAM
    CLASS_INFO_HIDDEN Use
    CLASS_ASSO_CLASS_LIST call
    CLASS_ATTR_VISIBILITY priceTag name
    CLASS_OPERATION_VISIBILITY people best
    CLASS_OPERATION_VISIBILITY Likes covered
    CLASS_OPERATION_COUNT available PARAM
    CLASS_INFO_HIDDEN Microwave
    CLASS_ATTR_VISIBILITY call covered
    CLASS_COUNT
    CLASS_ASSO_COUNT iPhone
    CLASS_OPERATION_COUNT best RETURN
    CLASS_OPERATION_VISIBILITY Consumer Inherit
    CLASS_TOP_BASE time
    CLASS_ATTR_COUNT Electronics SELF_ONLY
    CLASS_OPERATION_COUNT brand PARAM
    CLASS_ASSO_COUNT name
    CLASS_INFO_HIDDEN model
    CLASS_TOP_BASE number
    CLASS_ATTR_VISIBILITY purchase call
    CLASS_TOP_BASE natural
    CLASS_OPERATION_COUNT Intelligence PARAM
    CLASS_INFO_HIDDEN call
    CLASS_ATTR_COUNT call ALL
    CLASS_ATTR_VISIBILITY call available
    CLASS_ASSO_CLASS_LIST call
    CLASS_OPERATION_VISIBILITY activate date
    CLASS_OPERATION_COUNT call NON_RETURN
    CLASS_ATTR_VISIBILITY defend Lawyer
    CLASS_ASSO_COUNT unlocked
    CLASS_ASSO_CLASS_LIST call
    CLASS_ATTR_VISIBILITY name activate
    CLASS_ASSO_CLASS_LIST time
    CLASS_OPERATION_COUNT time ALL
    CLASS_ATTR_COUNT unlocked ALL
    CLASS_ATTR_VISIBILITY call best
    CLASS_ASSO_CLASS_LIST Consumer
    CLASS_OPERATION_COUNT activate ALL
    CLASS_ASSO_COUNT protect
    CLASS_ASSO_CLASS_LIST current
    CLASS_ATTR_COUNT unlocked SELF_ONLY
    CLASS_OPERATION_COUNT time PARAM
    CLASS_IMPLEMENT_INTERFACE_LIST activate
    CLASS_OPERATION_COUNT activate NON_PARAM
    CLASS_TOP_BASE model
    CLASS_ATTR_VISIBILITY enabled time
    CLASS_OPERATION_VISIBILITY Realize available
    CLASS_IMPLEMENT_INTERFACE_LIST Wants
    CLASS_INFO_HIDDEN iPhone
    CLASS_COUNT
    CLASS_INFO_HIDDEN Microwave